|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 模型顾问报告 - foc.slx | |
| Simulink 版本: 10.6 | 模型版本: 1.46 |
| 系统: foc/Subsystem | 当前运行: 2023/04/09 10:05:26 |
| 视为引用模型: off | |
| 未完成 | 失败 | 警告 | 已申述 | 通过 | 未运行 | 合计 | |
|---|---|---|---|---|---|---|---|
|
|
|
|
|
|
|
1908 |
Identify Simscape blocks with ambiguous setting of parameter units. For example, a block parameter expected in 'Hz' may be specified in the dialog with unit of 'rad/s'. Such settings could lead to unexpected conversion factors applied to the numerical value.
通过
No Simscape blocks with ambiguous unit setting found in the model.
Lists all the Data Store Memory blocks which do not resolve to Simulink signal
通过
_________________________________________________________________________________________
Checks if model uses any Stateflow messages
通过
_________________________________________________________________________________________
Lists all the signal lines that are not compatible with Simulink PLC Coder
通过
_________________________________________________________________________________________
Checks if model uses row major algorithms
通过
_________________________________________________________________________________________
Lists all the mask parameters which have Inf elements
通过
_________________________________________________________________________________________
Lists all the blocks/events that use machine parented data
通过
_________________________________________________________________________________________
Lists all the event based blocks that are not compatible with Simulink PLC Coder
通过
_________________________________________________________________________________________
Lists all the probe blocks that are not compatible with Simulink PLC Coder
通过
_________________________________________________________________________________________
Lists all the environment controller blocks that are not compatible with Simulink PLC Coder
通过
_________________________________________________________________________________________
Lists all the Stateflow charts that are not compatible with Simulink PLC Coder
通过
_________________________________________________________________________________________
Lists all the discrete integrator blocks that have incompatible initial conditions
通过
_________________________________________________________________________________________
Lists all the blocks that are not compatible with Simulink PLC Coder
通过
_________________________________________________________________________________________
Checks if top level subsystem has inputs and outputs when testbench generation is enabled
通过
_________________________________________________________________________________________
Names defined as keywords must not be used
警告
"Treat as atomic unit" is not set
建议采取的操作
Enable "Treat as atomic unit"
_________________________________________________________________________________________
| 名称 | 值 |
|---|---|
| Open Keywords File | N/A |
The use of capital letters in object names must be clear and consistent across the project
警告
"Treat as atomic unit" is not set
建议采取的操作
Enable "Treat as atomic unit"
_________________________________________________________________________________________
| 名称 | 值 |
|---|---|
| alllowercase | |
| Ignore prefix | false |
Names that exceed the defined maximum name length must be avoided
警告
"Treat as atomic unit" is not set
建议采取的操作
Enable "Treat as atomic unit"
_________________________________________________________________________________________
| 名称 | 值 |
|---|---|
| Maximum acceptable length | 32 |
Check if function blocks have comments
警告
"Treat as atomic unit" is not set
建议采取的操作
Enable "Treat as atomic unit"
_________________________________________________________________________________________
Nesting of multiline comments must be avoided
警告
"Treat as atomic unit" is not set
建议采取的操作
Enable "Treat as atomic unit"
_________________________________________________________________________________________
The number of input variables, output variables, and in-out variables of a POU should be within a limited set
警告
"Treat as atomic unit" is not set
建议采取的操作
Enable "Treat as atomic unit"
_________________________________________________________________________________________
| 名称 | 值 |
|---|---|
| Maximum number of I/O variables | 20 |
检查模型中是否存在已编辑的 Model History 属性值
检查 "模型属性" 对话框的 "历史记录" 窗格中的参数是否使用默认标记。您可以配置 MDL 文件的一些模型属性以便利用源代码管理工具关键字代换功能。如果您的模型以 SLX 格式保存,源代码管理工具将无法执行关键字代换。当您首次将 MDL 文件另存为 SLX 时,模型文件中来自此类关键字代换的信息将被缓存,而永远不会再次更新。 "模型属性" 的 "历史记录" 窗格和模型中的任何 Model Info 模块从那时起将显示陈旧的信息。
通过
此模型使用属性 ModifiedByFormat 的默认值。
通过
此模型使用属性 ModifiedDateFormat 的默认值。
通过
此模型使用属性 ModelVersionFormat 的默认值。
检查优化设置
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 使用位集存储状态配置 (StateBitsets) | off | on |
| 警告 | 使用位集存储布尔数据 (DataBitsets) | off | on |
确定可能影响 MISRA C:2012 合规代码生成的配置参数。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 前提条件 |
|---|---|---|---|---|
| 警告 | Model Verification 模块启用 (AssertControl) | UseLocalSettings | DisableAll | |
| D - 警告 | 共享代码放置 (UtilityFuncGeneration) | Auto | Shared location | |
| 警告 | 生成共享常量 (GenerateSharedConstants) | 不满足前提条件约束。 | off | UtilityFuncGeneration |
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 | |
| 警告 | SupportContinuousTime | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | SupportNonInlinedSFcns | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | MAT 文件记录 (MatFileLogging) | on | off | |
| 警告 | ParenthesesLevel | 不满足前提条件约束。 | Standards, Maximum | SystemTargetFile |
| 警告 | CastingMode | 不满足前提条件约束。 | Standards | SystemTargetFile |
| 警告 | InternalIdentifier | 不满足前提条件约束。 | Shortened | SystemTargetFile |
| 警告 | 使用除法进行定点净斜率计算 (UseDivisionForNetSlopeComputation) | off | on, UseDivisionForReciprocalsOfIntegersOnly | |
| 警告 | EnableSignedLeftShifts | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | EnableSignedRightShifts | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | 模块输出为 Inf 或 NaN (SignalInfNanChecking) | none | warning | |
| 警告 | MATLAB 函数中的动态内存分配 (MATLABDynamicMemAlloc) | on | off | |
| 警告 | 无向事件广播 (SFUndirectedBroadcastEventsDiag) | warning | error | |
| 警告 | MATLAB 函数的编译时递归限制 (CompileTimeRecursionLimit) | 50 | 0 | |
| 警告 | 为 MATLAB 函数启用运行时递归 (EnableRuntimeRecursion) | on | off | |
| 警告 | MATLABFcnDesc | 不满足前提条件约束。 | on | GenerateComments, SystemTargetFile |
| 警告 | 利用目标硬件指令集扩展 (InstructionSetExtensions) | SSE2 | None |
确定可能对代码生成的安全编码标准合规性产生影响的配置参数。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 前提条件 |
|---|---|---|---|---|
| 警告 | Model Verification 模块启用 (AssertControl) | UseLocalSettings | DisableAll | |
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 | |
| 警告 | SupportContinuousTime | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | SupportNonInlinedSFcns | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | MAT 文件记录 (MatFileLogging) | on | off | |
| 警告 | EnableSignedLeftShifts | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | EnableSignedRightShifts | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | 模块输出为 Inf 或 NaN (SignalInfNanChecking) | none | warning | |
| 警告 | MATLAB 函数中的动态内存分配 (MATLABDynamicMemAlloc) | on | off | |
| 警告 | 无向事件广播 (SFUndirectedBroadcastEventsDiag) | warning | error | |
| 警告 | MATLAB 函数的编译时递归限制 (CompileTimeRecursionLimit) | 50 | 0 | |
| 警告 | 为 MATLAB 函数启用运行时递归 (EnableRuntimeRecursion) | on | off | |
| 警告 | MATLABFcnDesc | 不满足前提条件约束。 | on | GenerateComments, SystemTargetFile |
检查模型配置中应用于数据类型转换且可能影响安全性的优化设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 删除从浮点到整数转换中将超出范围值绕回的代码 (EfficientFloat2IntCast) | off | on |
检查模型配置中应用于除法算术异常且可能影响安全性的优化设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 前提条件 |
|---|---|---|---|---|
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 | |
| 警告 | NoFixptDivByZeroProtection | 不满足前提条件约束。 | off | SystemTargetFile |
确定可能影响 MISRA C:2012 合规代码生成的配置参数。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 前提条件 |
|---|---|---|---|---|
| 警告 | Model Verification 模块启用 (AssertControl) | UseLocalSettings | DisableAll | |
| D - 警告 | 共享代码放置 (UtilityFuncGeneration) | Auto | Shared location | |
| 警告 | 生成共享常量 (GenerateSharedConstants) | 不满足前提条件约束。 | off | UtilityFuncGeneration |
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 | |
| 警告 | SupportContinuousTime | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | SupportNonInlinedSFcns | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | MAT 文件记录 (MatFileLogging) | on | off | |
| 警告 | ParenthesesLevel | 不满足前提条件约束。 | Standards, Maximum | SystemTargetFile |
| 警告 | CastingMode | 不满足前提条件约束。 | Standards | SystemTargetFile |
| 警告 | InternalIdentifier | 不满足前提条件约束。 | Shortened | SystemTargetFile |
| 警告 | 使用除法进行定点净斜率计算 (UseDivisionForNetSlopeComputation) | off | on, UseDivisionForReciprocalsOfIntegersOnly | |
| 警告 | EnableSignedLeftShifts | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | EnableSignedRightShifts | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | 模块输出为 Inf 或 NaN (SignalInfNanChecking) | none | warning | |
| 警告 | MATLAB 函数中的动态内存分配 (MATLABDynamicMemAlloc) | on | off | |
| 警告 | 无向事件广播 (SFUndirectedBroadcastEventsDiag) | warning | error | |
| 警告 | MATLAB 函数的编译时递归限制 (CompileTimeRecursionLimit) | 50 | 0 | |
| 警告 | 为 MATLAB 函数启用运行时递归 (EnableRuntimeRecursion) | on | off | |
| 警告 | MATLABFcnDesc | 不满足前提条件约束。 | on | GenerateComments, SystemTargetFile |
| 警告 | 利用目标硬件指令集扩展 (InstructionSetExtensions) | SSE2 | None |
标识 While Iterator 和 For Iterator 子系统中的采样时间依赖模块。
通过
For Iterator 或 While Iterator 子系统中的采样时间依赖模块。
检查不会生成超范围情形检查代码的 Lookup Table 模块、Prelookup 模块和 Interpolation 模块。
通过
未发现不会生成超范围情形检查代码的 Lookup Table 模块。
检查模型配置中应用于变体且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 信号的源和目标的变体条件不匹配 (VariantConditionMismatch) | none | error |
标识是否适当设置了 Stateflow 调试选项。
警告
以下 Stateflow 调试选项设置不适当:
| 参数 | 当前值 | 推荐值 |
|---|---|---|
| 溢出时绕回 (IntegerOverflowMsg) | warning | error |
| 仿真范围检查 (SignalRangeChecking) | none | error |
标识 MATLAB 函数中标准化函数头的使用情形。
警告
以下 MATLAB 函数使用非标准函数头:
| 模块路径 | 表达式 |
|---|---|
| foc/Subsystem/clarke/MATLAB Function | function Ialpha = fcn(IA,IB,IC)... |
标识 MATLAB 函数中标准化函数头的使用情形。
警告
以下 MATLAB 函数使用非标准函数头:
标识具有继承的复/实性或数据类型属性的输入、输出或参数的 MATLAB Function。
警告
以下 MATLAB Function 具有数据类型属性设置为 '继承: 与 Simulink 相同' 或 '继承: 来自图中的定义' 的接口:
标识具有继承的复/实性或数据类型属性的输入、输出或参数的 MATLAB Function。
警告
以下 MATLAB Function 具有复/实性属性设置为 '继承' 的接口:
标识违反代码和复杂度指标的 MATLAB Function。
警告
发现以下 MATLAB Function 模块违反代码和复杂度指标:
| 模块路径 | 表达式 | 描述 |
|---|---|---|
| foc/Subsystem/park/MATLAB Function | function Iq = fcn(Alpha,Beta,Theta)... | 注释密度 = 0。注释密度应大于 0.2。 |
| foc/Subsystem/park/MATLAB Function1 | function Id = fcn(Ialpha,Ibeta,Theta)... | 注释密度 = 0。注释密度应大于 0.2。 |
| foc/Subsystem/rePark/MATLAB Function | function Valpha = fcn(Vd,Vq,Theta)... | 注释密度 = 0。注释密度应大于 0.2。 |
| foc/Subsystem/rePark/MATLAB Function1 | function Vbeta = fcn(Vd,Vq,Theta)... | 注释密度 = 0。注释密度应大于 0.2。 |
| foc/Subsystem/reclarke/MATLAB Function | function Va = fcn(Valpha,Vbeta)... | 注释密度 = 0。注释密度应大于 0.2。 |
| foc/Subsystem/reclarke/MATLAB Function1 | function Vb = fcn(Valpha,Vbeta)... | 注释密度 = 0。注释密度应大于 0.2。 |
| foc/Subsystem/reclarke/MATLAB Function2 | function Vc = fcn(Valpha,Vbeta)... | 注释密度 = 0。注释密度应大于 0.2。 |
检查 MATLAB 函数的 %#codegen 指令、MATLAB 代码分析器消息和申述消息 ID。
警告
发现以下 MATLAB Function 模块具有代码分析器警告、缺失 %#codegen 指令或不当使用申述消息 ID:
| 模块路径 | 表达式 | 描述 |
|---|---|---|
| foc/Subsystem/clarke/MATLAB Function | function Ialpha = fcn(IA, IB, IC) | INUSD : 可能未使用输入参数。请考虑改用 ~ 替换该参数。 |
| foc/Subsystem/clarke/MATLAB Function | function Ialpha = fcn(IA, IB, IC) | INUSD : 可能未使用输入参数。请考虑改用 ~ 替换该参数。 |
| foc/Subsystem/clarke/MATLAB Function1 | function Ibeta = fcn(IA, IB, IC) | INUSD : 可能未使用输入参数。请考虑改用 ~ 替换该参数。 |
| foc/Subsystem/reclarke/MATLAB Function | function Va = fcn(Valpha, Vbeta) | INUSD : 可能未使用输入参数。请考虑改用 ~ 替换该参数。 |
检查模型配置中应用于数据存储内存且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 检测写前读 (ReadBeforeWriteMsg) | UseLocalSettings | EnableAllAsError |
| 警告 | 检测读后写 (WriteAfterReadMsg) | UseLocalSettings | EnableAllAsError |
| 警告 | 检测写后写 (WriteAfterWriteMsg) | UseLocalSettings | EnableAllAsError |
| 警告 | 重复数据存储名称 (UniqueDataStoreMsg) | none | error |
检查模型配置中应用于保存模型文件的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 模块图包含禁用的库链接 (SaveWithDisabledLinksMsg) | warning | error |
| 警告 | 模块图包含参数化库链接 (SaveWithParameterizedLinksMsg) | warning | error |
检查模型配置中可能影响安全性的模型引用设置。
通过
模型配置参数的所有约束均已满足。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 通过 | 重新编译 (UpdateModelReferenceTargets) | IfOutOfDateOrStructuralChange | AssumeUpToDate, IfOutOfDateOrStructuralChange |
| 通过 | 为代码生成按值传递固定大小的标量根输入 (ModelReferencePassRootInputsByReference) * | on | on |
| 通过 | 尽量减少出现代数环 (ModelReferenceMinAlgLoopOccurrences) | off | off |
检查模型配置中应用于注释且可能影响安全性的代码生成设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 前提条件 |
|---|---|---|---|---|
| 警告 | 显示已消除模块 (ShowEliminatedStatement) | off | on | GenerateComments |
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 | |
| 警告 | 为 '模型默认' 存储类提供详细注释 (ForceParamTrailComments) | off | on | GenerateComments |
| 警告 | ReqsInCode | 不满足前提条件约束。 | on | SystemTargetFile, GenerateComments |
检查模型配置中可能影响安全性的代码生成接口设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 前提条件 |
|---|---|---|---|---|
| 警告 | 支持非有限数 (SupportNonFinite) | on | off | |
| 警告 | SupportAbsoluteTime | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | SupportContinuousTime | 不满足前提条件约束。 | off | SystemTargetFile |
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 | |
| 警告 | SupportNonInlinedSFcns | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | IncludeMdlTerminateFcn | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | SuppressErrorStatus | 不满足前提条件约束。 | on | SystemTargetFile |
| 警告 | MAT 文件记录 (MatFileLogging) | on | off |
检查模型配置中应用于求解器且可能影响安全性的求解器设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 类型 (SolverType) | Variable-step | Fixed-step |
| 警告 | 求解器 (SolverName) | VariableStepAuto | FixedStepDiscrete |
检查模型配置中应用于求解器且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 代数环 (AlgebraicLoopMsg) | warning | error |
| 警告 | 尽量减少代数环 (ArtificialAlgebraicLoopMsg) | warning | error |
| 警告 | 模块优先级违规 (BlockPriorityViolationMsg) | warning | error |
| 警告 | 自动求解器参数选择 (SolverPrmCheckMsg) | none | error |
| 警告 | 状态名称冲突 (StateNameClashWarn) | none | warning |
检查模型配置中应用于采样时间且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 信号源模块指定 -1 采样时间 (InheritedTsInSrcMsg) | warning | error |
| 警告 | 强制应用 Signal Specification 模块指定的采样时间 (SigSpecEnsureSampleTimeMsg) | warning | error |
| 警告 | 单任务数据传输 (SingleTaskRateTransMsg) | none | error |
| 警告 | 具有同等优先级的任务 (TasksWithSamePriorityMsg) | warning | error |
| 警告 | 未指定采样时间的可继承性 (UnknownTsInhSupMsg) | warning | error |
检查模型配置中应用于逻辑信号且可能影响安全性的优化设置。
通过
模型配置参数的所有约束均已满足。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 通过 | 将逻辑信号实现为布尔数据(而不是双精度数据) (BooleanDataType) | on | on |
检查模型配置中可能影响安全性的模块简化优化设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 模块简化 (BlockReduction) | on | off |
检查模型配置中应用于代码样式且可能影响安全性的代码生成设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 前提条件 |
|---|---|---|---|---|
| 警告 | ParenthesesLevel | 不满足前提条件约束。 | Maximum, Standards | SystemTargetFile |
| 警告 | PreserveExpressionOrder | 不满足前提条件约束。 | on | SystemTargetFile |
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 |
检查模型配置中应用于应用程序生命周期且可能影响安全性的优化设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 应用程序生命周期(天) (LifeSpan) | auto | inf |
检查模型配置中可能影响安全性的代码生成标识符设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 不推荐的值 | 前提条件 |
|---|---|---|---|---|---|
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 | ||
| 警告 | MangleLength | 不满足前提条件约束。 | 1, 2, 3 | SystemTargetFile |
检查模型配置中应用于数据初始化且可能影响安全性的优化设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 前提条件 |
|---|---|---|---|---|
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 | |
| 警告 | ZeroExternalMemoryAtStartup* | 不满足前提条件约束。 | on | SystemTargetFile, CodeInterfacePackaging |
| 警告 | ZeroInternalMemoryAtStartup* | 不满足前提条件约束。 | on | SystemTargetFile, CodeInterfacePackaging |
检查模型配置中应用于数据类型转换且可能影响安全性的优化设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 删除从浮点到整数转换中将超出范围值绕回的代码 (EfficientFloat2IntCast) | off | on |
检查模型配置中应用于除法算术异常且可能影响安全性的优化设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 前提条件 |
|---|---|---|---|---|
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 | |
| 警告 | NoFixptDivByZeroProtection | 不满足前提条件约束。 | off | SystemTargetFile |
检查模型配置中应用于指定的最小值和最大值且可能影响安全性的优化设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 前提条件 |
|---|---|---|---|---|
| 警告 | UseSpecifiedMinMax | 不满足前提条件约束。 | off | SystemTargetFile |
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 |
检查 '字节顺序' 和 '有符号整数除法舍入方式' 参数
标识硬件属性的不一致性或欠定,这可能导致生成的代码不正确且效率低下。
通过
目标设定一致。
请检查 '生产硬件' 和 '测试硬件' 是否匹配
在 "配置参数" 对话框中搜索 '测试硬件与生产硬件相同',并检查它是否已选中。如果它处于清除状态,请标识目标设定是否匹配。
通过
'测试硬件与生产硬件相同' 处于选中或清除状态并且目标设定匹配。
检查模型配置中影响兼容性且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 需要升级 S-Function (SFcnCompatibilityMsg) | none | error |
检查模型配置中应用于参数且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 检测下溢 (ParameterUnderflowMsg) | none | error |
| 警告 | 检测精度损失 (ParameterPrecisionLossMsg) | warning | error |
| 警告 | 检测可调性损失 (ParameterTunabilityLossMsg) | warning | error |
检查模型配置中应用于 Merge 模块且可能影响安全性的诊断设置。
通过
模型配置参数的所有约束均已满足。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 通过 | 检测在同一时间步执行的多个驱动模块 (MergeDetectMultiDrivingBlocksExec) | error | error |
检查模型配置中影响模型初始化且可能影响安全性的诊断设置。
通过
模型配置参数的所有约束均已满足。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 通过 | 欠定初始化检测 (UnderspecifiedInitializationDetection) | Simplified | Simplified |
检查模型配置中应用于用于调试的数据并可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | Model Verification 模块启用 (AssertControl) | UseLocalSettings | DisableAll |
检查模型配置中应用于信号连接性且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 信号标签不匹配 (SignalLabelMismatchMsg) | none | error |
| 警告 | 未连接的模块输入端口 (UnconnectedInputMsg) | none | error |
| 警告 | 未连接的模块输出端口 (UnconnectedOutputMsg) | none | error |
| 警告 | 未连接的信号线 (UnconnectedLineMsg) | none | error |
检查模型配置中应用于总线连接性且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 根 Outport 模块上未指定总线对象 (RootOutportRequireBusObject) | warning | error |
| 警告 | 元素名称不匹配 (BusObjectLabelMismatch) | warning | error |
| 警告 | 总线信号视为向量 (StrictBusMsg) | ErrorLevel1 | ErrorOnBusTreatedAsVector |
| 警告 | 非总线信号被视为总线信号 (NonBusSignalsTreatedAsBus) | none | error |
检查模型配置中应用于函数调用连接性且可能影响安全性的诊断设置。
通过
模型配置参数的所有约束均已满足。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 通过 | InvalidFcnCallConnMsg | error | error |
| 通过 | 上下文相关输入 (FcnCallInpInsideContextMsg) | error | error |
检查模型配置中应用于类型转换且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 不必要的类型转换 (UnnecessaryDatatypeConvMsg) | none | warning |
| 警告 | 向量/矩阵模块输入转换 (VectorMatrixConversionMsg) | none | error |
检查模型配置中应用于模型引用且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 端口和参数不匹配 (ModelReferenceIOMismatchMessage) | none | error |
| 警告 | 无效根 Inport/Outport 模块连接 (ModelReferenceIOMsg) | none | error |
| 警告 | 不支持的数据记录 (ModelReferenceDataLoggingMessage) | warning | error |
检查模型配置中应用于 Stateflow 且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 图初始化中无效的输入数据访问 (SFInvalidInputDataAccessInChartInitDiag) | warning | error |
| 警告 | 自然父级外的转移 (SFTransitionOutsideNaturalParentDiag) | warning | error |
| 警告 | 不可达的执行路径 (SFUnreachableExecutionPathDiag) | warning | error |
| 警告 | 无向事件广播 (SFUndirectedBroadcastEventsDiag) | warning | error |
| 警告 | 在条件动作之前指定的转移动作 (SFTransitionActionBeforeConditionDiag) | warning | error |
| 警告 | 绝对时间时序值短于采样期间 (SFTemporalDelaySmallerThanSampleTimeDiag) | warning | error |
| 警告 | 叶状态的自转移 (SFSelfTransitionDiag) | warning | error |
| 警告 | 存在输入事件时禁用了 '初始化时执行' (SFExecutionAtInitializationDiag) | warning | error |
检查模型配置中应用于信号数据且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 除以奇异矩阵 (CheckMatrixSingularityMsg) | none | error |
| 警告 | 未定数据类型 (UnderSpecifiedDataTypeMsg) | none | error |
| 警告 | 溢出时绕回 (IntegerOverflowMsg) | warning | error |
| 警告 | 溢出时饱和 (IntegerSaturationMsg) | warning | error |
| 警告 | 模块输出为 Inf 或 NaN (SignalInfNanChecking) | none | error |
| 警告 | 仿真范围检查 (SignalRangeChecking) | none | error |
检查未链接到需求文档的模型元素。
警告
以下 MATLAB 函数未链接到需求文档:
检查未链接到需求文档的模型元素。
警告
以下模型元素未链接到需求文档:
确定可能影响 MISRA C:2012 合规代码生成的配置参数。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 前提条件 |
|---|---|---|---|---|
| 警告 | Model Verification 模块启用 (AssertControl) | UseLocalSettings | DisableAll | |
| D - 警告 | 共享代码放置 (UtilityFuncGeneration) | Auto | Shared location | |
| 警告 | 生成共享常量 (GenerateSharedConstants) | 不满足前提条件约束。 | off | UtilityFuncGeneration |
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 | |
| 警告 | SupportContinuousTime | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | SupportNonInlinedSFcns | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | MAT 文件记录 (MatFileLogging) | on | off | |
| 警告 | ParenthesesLevel | 不满足前提条件约束。 | Standards, Maximum | SystemTargetFile |
| 警告 | CastingMode | 不满足前提条件约束。 | Standards | SystemTargetFile |
| 警告 | InternalIdentifier | 不满足前提条件约束。 | Shortened | SystemTargetFile |
| 警告 | 使用除法进行定点净斜率计算 (UseDivisionForNetSlopeComputation) | off | on, UseDivisionForReciprocalsOfIntegersOnly | |
| 警告 | EnableSignedLeftShifts | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | EnableSignedRightShifts | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | 模块输出为 Inf 或 NaN (SignalInfNanChecking) | none | warning | |
| 警告 | MATLAB 函数中的动态内存分配 (MATLABDynamicMemAlloc) | on | off | |
| 警告 | 无向事件广播 (SFUndirectedBroadcastEventsDiag) | warning | error | |
| 警告 | MATLAB 函数的编译时递归限制 (CompileTimeRecursionLimit) | 50 | 0 | |
| 警告 | 为 MATLAB 函数启用运行时递归 (EnableRuntimeRecursion) | on | off | |
| 警告 | MATLABFcnDesc | 不满足前提条件约束。 | on | GenerateComments, SystemTargetFile |
| 警告 | 利用目标硬件指令集扩展 (InstructionSetExtensions) | SSE2 | None |
检查模型配置中应用于变体且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 信号的源和目标的变体条件不匹配 (VariantConditionMismatch) | none | error |
标识是否适当设置了 Stateflow 调试选项。
警告
以下 Stateflow 调试选项设置不适当:
| 参数 | 当前值 | 推荐值 |
|---|---|---|
| 溢出时绕回 (IntegerOverflowMsg) | warning | error |
| 仿真范围检查 (SignalRangeChecking) | none | error |
标识 MATLAB 函数中标准化函数头的使用情形。
警告
以下 MATLAB 函数使用非标准函数头:
| 模块路径 | 表达式 |
|---|---|
| foc/Subsystem/clarke/MATLAB Function | function Ialpha = fcn(IA,IB,IC)... |
标识 MATLAB 函数中标准化函数头的使用情形。
警告
以下 MATLAB 函数使用非标准函数头:
检查 MATLAB 函数的 %#codegen 指令、MATLAB 代码分析器消息和申述消息 ID。
警告
发现以下 MATLAB Function 模块具有代码分析器警告、缺失 %#codegen 指令或不当使用申述消息 ID:
| 模块路径 | 表达式 | 描述 |
|---|---|---|
| foc/Subsystem/clarke/MATLAB Function | function Ialpha = fcn(IA, IB, IC) | INUSD : 可能未使用输入参数。请考虑改用 ~ 替换该参数。 |
| foc/Subsystem/clarke/MATLAB Function | function Ialpha = fcn(IA, IB, IC) | INUSD : 可能未使用输入参数。请考虑改用 ~ 替换该参数。 |
| foc/Subsystem/clarke/MATLAB Function1 | function Ibeta = fcn(IA, IB, IC) | INUSD : 可能未使用输入参数。请考虑改用 ~ 替换该参数。 |
| foc/Subsystem/reclarke/MATLAB Function | function Va = fcn(Valpha, Vbeta) | INUSD : 可能未使用输入参数。请考虑改用 ~ 替换该参数。 |
检查模型配置中应用于保存模型文件的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 模块图包含禁用的库链接 (SaveWithDisabledLinksMsg) | warning | error |
| 警告 | 模块图包含参数化库链接 (SaveWithParameterizedLinksMsg) | warning | error |
检查模型配置中可能影响安全性的模型引用设置。
通过
模型配置参数的所有约束均已满足。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 通过 | 重新编译 (UpdateModelReferenceTargets) | IfOutOfDateOrStructuralChange | AssumeUpToDate, IfOutOfDateOrStructuralChange |
| 通过 | 为代码生成按值传递固定大小的标量根输入 (ModelReferencePassRootInputsByReference) * | on | on |
| 通过 | 尽量减少出现代数环 (ModelReferenceMinAlgLoopOccurrences) | off | off |
检查模型配置中可能影响安全性的模块简化优化设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 模块简化 (BlockReduction) | on | off |
检查模型配置中应用于参数且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 检测下溢 (ParameterUnderflowMsg) | none | error |
| 警告 | 检测精度损失 (ParameterPrecisionLossMsg) | warning | error |
| 警告 | 检测可调性损失 (ParameterTunabilityLossMsg) | warning | error |
检查模型配置中影响模型初始化且可能影响安全性的诊断设置。
通过
模型配置参数的所有约束均已满足。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 通过 | 欠定初始化检测 (UnderspecifiedInitializationDetection) | Simplified | Simplified |
检查模型配置中应用于信号连接性且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 信号标签不匹配 (SignalLabelMismatchMsg) | none | error |
| 警告 | 未连接的模块输入端口 (UnconnectedInputMsg) | none | error |
| 警告 | 未连接的模块输出端口 (UnconnectedOutputMsg) | none | error |
| 警告 | 未连接的信号线 (UnconnectedLineMsg) | none | error |
检查模型配置中应用于总线连接性且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 根 Outport 模块上未指定总线对象 (RootOutportRequireBusObject) | warning | error |
| 警告 | 元素名称不匹配 (BusObjectLabelMismatch) | warning | error |
| 警告 | 总线信号视为向量 (StrictBusMsg) | ErrorLevel1 | ErrorOnBusTreatedAsVector |
| 警告 | 非总线信号被视为总线信号 (NonBusSignalsTreatedAsBus) | none | error |
检查模型配置中应用于类型转换且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 不必要的类型转换 (UnnecessaryDatatypeConvMsg) | none | warning |
| 警告 | 向量/矩阵模块输入转换 (VectorMatrixConversionMsg) | none | error |
检查模型配置中应用于模型引用且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 端口和参数不匹配 (ModelReferenceIOMismatchMessage) | none | error |
| 警告 | 无效根 Inport/Outport 模块连接 (ModelReferenceIOMsg) | none | error |
| 警告 | 不支持的数据记录 (ModelReferenceDataLoggingMessage) | warning | error |
检查模型配置中应用于 Stateflow 且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 图初始化中无效的输入数据访问 (SFInvalidInputDataAccessInChartInitDiag) | warning | error |
| 警告 | 自然父级外的转移 (SFTransitionOutsideNaturalParentDiag) | warning | error |
| 警告 | 不可达的执行路径 (SFUnreachableExecutionPathDiag) | warning | error |
| 警告 | 无向事件广播 (SFUndirectedBroadcastEventsDiag) | warning | error |
| 警告 | 在条件动作之前指定的转移动作 (SFTransitionActionBeforeConditionDiag) | warning | error |
| 警告 | 绝对时间时序值短于采样期间 (SFTemporalDelaySmallerThanSampleTimeDiag) | warning | error |
| 警告 | 叶状态的自转移 (SFSelfTransitionDiag) | warning | error |
| 警告 | 存在输入事件时禁用了 '初始化时执行' (SFExecutionAtInitializationDiag) | warning | error |
检查模型配置中应用于信号数据且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 除以奇异矩阵 (CheckMatrixSingularityMsg) | none | error |
| 警告 | 未定数据类型 (UnderSpecifiedDataTypeMsg) | none | error |
| 警告 | 溢出时绕回 (IntegerOverflowMsg) | warning | error |
| 警告 | 溢出时饱和 (IntegerSaturationMsg) | warning | error |
| 警告 | 模块输出为 Inf 或 NaN (SignalInfNanChecking) | none | error |
| 警告 | 仿真范围检查 (SignalRangeChecking) | none | error |
检查未链接到需求文档的模型元素。
警告
以下 MATLAB 函数未链接到需求文档:
检查未链接到需求文档的模型元素。
警告
以下模型元素未链接到需求文档:
显示模型或子系统的元素数以及子系统的名称、级别和深度
模型指标信息
显示 Simulink 模块和 Stateflow 构造的元素数
摘要
| 元素类型 | 计数 |
|---|---|
| Inport | 14 |
| Outport | 11 |
| SubSystem | 4 |
| MATLAB Function | 9 |
Simulink
| 模块类型 | 计数 |
|---|---|
| Inport | 14 |
| Outport | 11 |
| Scope | 9 |
| MATLAB Function Block | 9 |
| SubSystem | 4 |
| RateTransition | 3 |
Stateflow
| Stateflow 构造 | 计数 |
|---|---|
| Stateflow Data | 33 |
模型复杂度信息
显示子系统的名称、级别和深度
最大子系统深度: 3
子系统深度
标识 While Iterator 和 For Iterator 子系统中的采样时间依赖模块。
通过
For Iterator 或 While Iterator 子系统中的采样时间依赖模块。
检查不会生成超范围情形检查代码的 Lookup Table 模块、Prelookup 模块和 Interpolation 模块。
通过
未发现不会生成超范围情形检查代码的 Lookup Table 模块。
检查模型配置中应用于变体且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 信号的源和目标的变体条件不匹配 (VariantConditionMismatch) | none | error |
标识是否适当设置了 Stateflow 调试选项。
警告
以下 Stateflow 调试选项设置不适当:
| 参数 | 当前值 | 推荐值 |
|---|---|---|
| 溢出时绕回 (IntegerOverflowMsg) | warning | error |
| 仿真范围检查 (SignalRangeChecking) | none | error |
标识 MATLAB 函数中标准化函数头的使用情形。
警告
以下 MATLAB 函数使用非标准函数头:
| 模块路径 | 表达式 |
|---|---|
| foc/Subsystem/clarke/MATLAB Function | function Ialpha = fcn(IA,IB,IC)... |
标识 MATLAB 函数中标准化函数头的使用情形。
警告
以下 MATLAB 函数使用非标准函数头:
标识具有继承的复/实性或数据类型属性的输入、输出或参数的 MATLAB Function。
警告
以下 MATLAB Function 具有数据类型属性设置为 '继承: 与 Simulink 相同' 或 '继承: 来自图中的定义' 的接口:
标识具有继承的复/实性或数据类型属性的输入、输出或参数的 MATLAB Function。
警告
以下 MATLAB Function 具有复/实性属性设置为 '继承' 的接口:
标识违反代码和复杂度指标的 MATLAB Function。
警告
发现以下 MATLAB Function 模块违反代码和复杂度指标:
| 模块路径 | 表达式 | 描述 |
|---|---|---|
| foc/Subsystem/park/MATLAB Function | function Iq = fcn(Alpha,Beta,Theta)... | 注释密度 = 0。注释密度应大于 0.2。 |
| foc/Subsystem/park/MATLAB Function1 | function Id = fcn(Ialpha,Ibeta,Theta)... | 注释密度 = 0。注释密度应大于 0.2。 |
| foc/Subsystem/rePark/MATLAB Function | function Valpha = fcn(Vd,Vq,Theta)... | 注释密度 = 0。注释密度应大于 0.2。 |
| foc/Subsystem/rePark/MATLAB Function1 | function Vbeta = fcn(Vd,Vq,Theta)... | 注释密度 = 0。注释密度应大于 0.2。 |
| foc/Subsystem/reclarke/MATLAB Function | function Va = fcn(Valpha,Vbeta)... | 注释密度 = 0。注释密度应大于 0.2。 |
| foc/Subsystem/reclarke/MATLAB Function1 | function Vb = fcn(Valpha,Vbeta)... | 注释密度 = 0。注释密度应大于 0.2。 |
| foc/Subsystem/reclarke/MATLAB Function2 | function Vc = fcn(Valpha,Vbeta)... | 注释密度 = 0。注释密度应大于 0.2。 |
检查 MATLAB 函数的 %#codegen 指令、MATLAB 代码分析器消息和申述消息 ID。
警告
发现以下 MATLAB Function 模块具有代码分析器警告、缺失 %#codegen 指令或不当使用申述消息 ID:
| 模块路径 | 表达式 | 描述 |
|---|---|---|
| foc/Subsystem/clarke/MATLAB Function | function Ialpha = fcn(IA, IB, IC) | INUSD : 可能未使用输入参数。请考虑改用 ~ 替换该参数。 |
| foc/Subsystem/clarke/MATLAB Function | function Ialpha = fcn(IA, IB, IC) | INUSD : 可能未使用输入参数。请考虑改用 ~ 替换该参数。 |
| foc/Subsystem/clarke/MATLAB Function1 | function Ibeta = fcn(IA, IB, IC) | INUSD : 可能未使用输入参数。请考虑改用 ~ 替换该参数。 |
| foc/Subsystem/reclarke/MATLAB Function | function Va = fcn(Valpha, Vbeta) | INUSD : 可能未使用输入参数。请考虑改用 ~ 替换该参数。 |
检查模型配置中应用于数据存储内存且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 检测写前读 (ReadBeforeWriteMsg) | UseLocalSettings | EnableAllAsError |
| 警告 | 检测读后写 (WriteAfterReadMsg) | UseLocalSettings | EnableAllAsError |
| 警告 | 检测写后写 (WriteAfterWriteMsg) | UseLocalSettings | EnableAllAsError |
| 警告 | 重复数据存储名称 (UniqueDataStoreMsg) | none | error |
检查模型配置中应用于保存模型文件的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 模块图包含禁用的库链接 (SaveWithDisabledLinksMsg) | warning | error |
| 警告 | 模块图包含参数化库链接 (SaveWithParameterizedLinksMsg) | warning | error |
检查模型配置中可能影响安全性的模型引用设置。
通过
模型配置参数的所有约束均已满足。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 通过 | 重新编译 (UpdateModelReferenceTargets) | IfOutOfDateOrStructuralChange | AssumeUpToDate, IfOutOfDateOrStructuralChange |
| 通过 | 为代码生成按值传递固定大小的标量根输入 (ModelReferencePassRootInputsByReference) * | on | on |
| 通过 | 尽量减少出现代数环 (ModelReferenceMinAlgLoopOccurrences) | off | off |
检查模型配置中应用于注释且可能影响安全性的代码生成设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 前提条件 |
|---|---|---|---|---|
| 警告 | 显示已消除模块 (ShowEliminatedStatement) | off | on | GenerateComments |
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 | |
| 警告 | 为 '模型默认' 存储类提供详细注释 (ForceParamTrailComments) | off | on | GenerateComments |
| 警告 | ReqsInCode | 不满足前提条件约束。 | on | SystemTargetFile, GenerateComments |
检查模型配置中可能影响安全性的代码生成接口设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 前提条件 |
|---|---|---|---|---|
| 警告 | 支持非有限数 (SupportNonFinite) | on | off | |
| 警告 | SupportAbsoluteTime | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | SupportContinuousTime | 不满足前提条件约束。 | off | SystemTargetFile |
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 | |
| 警告 | SupportNonInlinedSFcns | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | IncludeMdlTerminateFcn | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | SuppressErrorStatus | 不满足前提条件约束。 | on | SystemTargetFile |
| 警告 | MAT 文件记录 (MatFileLogging) | on | off |
检查模型配置中应用于求解器且可能影响安全性的求解器设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 类型 (SolverType) | Variable-step | Fixed-step |
| 警告 | 求解器 (SolverName) | VariableStepAuto | FixedStepDiscrete |
检查模型配置中应用于求解器且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 代数环 (AlgebraicLoopMsg) | warning | error |
| 警告 | 尽量减少代数环 (ArtificialAlgebraicLoopMsg) | warning | error |
| 警告 | 模块优先级违规 (BlockPriorityViolationMsg) | warning | error |
| 警告 | 自动求解器参数选择 (SolverPrmCheckMsg) | none | error |
| 警告 | 状态名称冲突 (StateNameClashWarn) | none | warning |
检查模型配置中应用于采样时间且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 信号源模块指定 -1 采样时间 (InheritedTsInSrcMsg) | warning | error |
| 警告 | 强制应用 Signal Specification 模块指定的采样时间 (SigSpecEnsureSampleTimeMsg) | warning | error |
| 警告 | 单任务数据传输 (SingleTaskRateTransMsg) | none | error |
| 警告 | 具有同等优先级的任务 (TasksWithSamePriorityMsg) | warning | error |
| 警告 | 未指定采样时间的可继承性 (UnknownTsInhSupMsg) | warning | error |
检查模型配置中应用于逻辑信号且可能影响安全性的优化设置。
通过
模型配置参数的所有约束均已满足。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 通过 | 将逻辑信号实现为布尔数据(而不是双精度数据) (BooleanDataType) | on | on |
检查模型配置中可能影响安全性的模块简化优化设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 模块简化 (BlockReduction) | on | off |
检查模型配置中应用于代码样式且可能影响安全性的代码生成设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 前提条件 |
|---|---|---|---|---|
| 警告 | ParenthesesLevel | 不满足前提条件约束。 | Maximum, Standards | SystemTargetFile |
| 警告 | PreserveExpressionOrder | 不满足前提条件约束。 | on | SystemTargetFile |
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 |
检查模型配置中应用于应用程序生命周期且可能影响安全性的优化设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 应用程序生命周期(天) (LifeSpan) | auto | inf |
检查模型配置中可能影响安全性的代码生成标识符设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 不推荐的值 | 前提条件 |
|---|---|---|---|---|---|
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 | ||
| 警告 | MangleLength | 不满足前提条件约束。 | 1, 2, 3 | SystemTargetFile |
检查模型配置中应用于数据初始化且可能影响安全性的优化设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 前提条件 |
|---|---|---|---|---|
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 | |
| 警告 | ZeroExternalMemoryAtStartup* | 不满足前提条件约束。 | on | SystemTargetFile, CodeInterfacePackaging |
| 警告 | ZeroInternalMemoryAtStartup* | 不满足前提条件约束。 | on | SystemTargetFile, CodeInterfacePackaging |
检查模型配置中应用于数据类型转换且可能影响安全性的优化设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 删除从浮点到整数转换中将超出范围值绕回的代码 (EfficientFloat2IntCast) | off | on |
检查模型配置中应用于除法算术异常且可能影响安全性的优化设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 前提条件 |
|---|---|---|---|---|
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 | |
| 警告 | NoFixptDivByZeroProtection | 不满足前提条件约束。 | off | SystemTargetFile |
检查模型配置中应用于指定的最小值和最大值且可能影响安全性的优化设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 前提条件 |
|---|---|---|---|---|
| 警告 | UseSpecifiedMinMax | 不满足前提条件约束。 | off | SystemTargetFile |
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 |
检查 '字节顺序' 和 '有符号整数除法舍入方式' 参数
标识硬件属性的不一致性或欠定,这可能导致生成的代码不正确且效率低下。
通过
目标设定一致。
请检查 '生产硬件' 和 '测试硬件' 是否匹配
在 "配置参数" 对话框中搜索 '测试硬件与生产硬件相同',并检查它是否已选中。如果它处于清除状态,请标识目标设定是否匹配。
通过
'测试硬件与生产硬件相同' 处于选中或清除状态并且目标设定匹配。
检查模型配置中影响兼容性且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 需要升级 S-Function (SFcnCompatibilityMsg) | none | error |
检查模型配置中应用于参数且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 检测下溢 (ParameterUnderflowMsg) | none | error |
| 警告 | 检测精度损失 (ParameterPrecisionLossMsg) | warning | error |
| 警告 | 检测可调性损失 (ParameterTunabilityLossMsg) | warning | error |
检查模型配置中应用于 Merge 模块且可能影响安全性的诊断设置。
通过
模型配置参数的所有约束均已满足。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 通过 | 检测在同一时间步执行的多个驱动模块 (MergeDetectMultiDrivingBlocksExec) | error | error |
检查模型配置中影响模型初始化且可能影响安全性的诊断设置。
通过
模型配置参数的所有约束均已满足。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 通过 | 欠定初始化检测 (UnderspecifiedInitializationDetection) | Simplified | Simplified |
检查模型配置中应用于用于调试的数据并可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | Model Verification 模块启用 (AssertControl) | UseLocalSettings | DisableAll |
检查模型配置中应用于信号连接性且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 信号标签不匹配 (SignalLabelMismatchMsg) | none | error |
| 警告 | 未连接的模块输入端口 (UnconnectedInputMsg) | none | error |
| 警告 | 未连接的模块输出端口 (UnconnectedOutputMsg) | none | error |
| 警告 | 未连接的信号线 (UnconnectedLineMsg) | none | error |
检查模型配置中应用于总线连接性且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 根 Outport 模块上未指定总线对象 (RootOutportRequireBusObject) | warning | error |
| 警告 | 元素名称不匹配 (BusObjectLabelMismatch) | warning | error |
| 警告 | 总线信号视为向量 (StrictBusMsg) | ErrorLevel1 | ErrorOnBusTreatedAsVector |
| 警告 | 非总线信号被视为总线信号 (NonBusSignalsTreatedAsBus) | none | error |
检查模型配置中应用于函数调用连接性且可能影响安全性的诊断设置。
通过
模型配置参数的所有约束均已满足。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 通过 | InvalidFcnCallConnMsg | error | error |
| 通过 | 上下文相关输入 (FcnCallInpInsideContextMsg) | error | error |
检查模型配置中应用于类型转换且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 不必要的类型转换 (UnnecessaryDatatypeConvMsg) | none | warning |
| 警告 | 向量/矩阵模块输入转换 (VectorMatrixConversionMsg) | none | error |
检查模型配置中应用于模型引用且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 端口和参数不匹配 (ModelReferenceIOMismatchMessage) | none | error |
| 警告 | 无效根 Inport/Outport 模块连接 (ModelReferenceIOMsg) | none | error |
| 警告 | 不支持的数据记录 (ModelReferenceDataLoggingMessage) | warning | error |
检查模型配置中应用于 Stateflow 且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 图初始化中无效的输入数据访问 (SFInvalidInputDataAccessInChartInitDiag) | warning | error |
| 警告 | 自然父级外的转移 (SFTransitionOutsideNaturalParentDiag) | warning | error |
| 警告 | 不可达的执行路径 (SFUnreachableExecutionPathDiag) | warning | error |
| 警告 | 无向事件广播 (SFUndirectedBroadcastEventsDiag) | warning | error |
| 警告 | 在条件动作之前指定的转移动作 (SFTransitionActionBeforeConditionDiag) | warning | error |
| 警告 | 绝对时间时序值短于采样期间 (SFTemporalDelaySmallerThanSampleTimeDiag) | warning | error |
| 警告 | 叶状态的自转移 (SFSelfTransitionDiag) | warning | error |
| 警告 | 存在输入事件时禁用了 '初始化时执行' (SFExecutionAtInitializationDiag) | warning | error |
检查模型配置中应用于信号数据且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 除以奇异矩阵 (CheckMatrixSingularityMsg) | none | error |
| 警告 | 未定数据类型 (UnderSpecifiedDataTypeMsg) | none | error |
| 警告 | 溢出时绕回 (IntegerOverflowMsg) | warning | error |
| 警告 | 溢出时饱和 (IntegerSaturationMsg) | warning | error |
| 警告 | 模块输出为 Inf 或 NaN (SignalInfNanChecking) | none | error |
| 警告 | 仿真范围检查 (SignalRangeChecking) | none | error |
检查未链接到需求文档的模型元素。
警告
以下 MATLAB 函数未链接到需求文档:
检查未链接到需求文档的模型元素。
警告
以下模型元素未链接到需求文档:
确定可能影响 MISRA C:2012 合规代码生成的配置参数。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 前提条件 |
|---|---|---|---|---|
| 警告 | Model Verification 模块启用 (AssertControl) | UseLocalSettings | DisableAll | |
| D - 警告 | 共享代码放置 (UtilityFuncGeneration) | Auto | Shared location | |
| 警告 | 生成共享常量 (GenerateSharedConstants) | 不满足前提条件约束。 | off | UtilityFuncGeneration |
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 | |
| 警告 | SupportContinuousTime | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | SupportNonInlinedSFcns | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | MAT 文件记录 (MatFileLogging) | on | off | |
| 警告 | ParenthesesLevel | 不满足前提条件约束。 | Standards, Maximum | SystemTargetFile |
| 警告 | CastingMode | 不满足前提条件约束。 | Standards | SystemTargetFile |
| 警告 | InternalIdentifier | 不满足前提条件约束。 | Shortened | SystemTargetFile |
| 警告 | 使用除法进行定点净斜率计算 (UseDivisionForNetSlopeComputation) | off | on, UseDivisionForReciprocalsOfIntegersOnly | |
| 警告 | EnableSignedLeftShifts | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | EnableSignedRightShifts | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | 模块输出为 Inf 或 NaN (SignalInfNanChecking) | none | warning | |
| 警告 | MATLAB 函数中的动态内存分配 (MATLABDynamicMemAlloc) | on | off | |
| 警告 | 无向事件广播 (SFUndirectedBroadcastEventsDiag) | warning | error | |
| 警告 | MATLAB 函数的编译时递归限制 (CompileTimeRecursionLimit) | 50 | 0 | |
| 警告 | 为 MATLAB 函数启用运行时递归 (EnableRuntimeRecursion) | on | off | |
| 警告 | MATLABFcnDesc | 不满足前提条件约束。 | on | GenerateComments, SystemTargetFile |
| 警告 | 利用目标硬件指令集扩展 (InstructionSetExtensions) | SSE2 | None |
显示模型或子系统的元素数以及子系统的名称、级别和深度
模型指标信息
显示 Simulink 模块和 Stateflow 构造的元素数
摘要
| 元素类型 | 计数 |
|---|---|
| Inport | 14 |
| Outport | 11 |
| SubSystem | 4 |
| MATLAB Function | 9 |
Simulink
| 模块类型 | 计数 |
|---|---|
| Inport | 14 |
| Outport | 11 |
| Scope | 9 |
| MATLAB Function Block | 9 |
| SubSystem | 4 |
| RateTransition | 3 |
Stateflow
| Stateflow 构造 | 计数 |
|---|---|
| Stateflow Data | 33 |
模型复杂度信息
显示子系统的名称、级别和深度
最大子系统深度: 3
子系统深度
标识 While Iterator 和 For Iterator 子系统中的采样时间依赖模块。
通过
For Iterator 或 While Iterator 子系统中的采样时间依赖模块。
检查不会生成超范围情形检查代码的 Lookup Table 模块、Prelookup 模块和 Interpolation 模块。
通过
未发现不会生成超范围情形检查代码的 Lookup Table 模块。
检查模型配置中应用于变体且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 信号的源和目标的变体条件不匹配 (VariantConditionMismatch) | none | error |
标识是否适当设置了 Stateflow 调试选项。
警告
以下 Stateflow 调试选项设置不适当:
| 参数 | 当前值 | 推荐值 |
|---|---|---|
| 溢出时绕回 (IntegerOverflowMsg) | warning | error |
| 仿真范围检查 (SignalRangeChecking) | none | error |
标识 MATLAB 函数中标准化函数头的使用情形。
警告
以下 MATLAB 函数使用非标准函数头:
| 模块路径 | 表达式 |
|---|---|
| foc/Subsystem/clarke/MATLAB Function | function Ialpha = fcn(IA,IB,IC)... |
标识 MATLAB 函数中标准化函数头的使用情形。
警告
以下 MATLAB 函数使用非标准函数头:
标识具有继承的复/实性或数据类型属性的输入、输出或参数的 MATLAB Function。
警告
以下 MATLAB Function 具有数据类型属性设置为 '继承: 与 Simulink 相同' 或 '继承: 来自图中的定义' 的接口:
标识具有继承的复/实性或数据类型属性的输入、输出或参数的 MATLAB Function。
警告
以下 MATLAB Function 具有复/实性属性设置为 '继承' 的接口:
标识违反代码和复杂度指标的 MATLAB Function。
警告
发现以下 MATLAB Function 模块违反代码和复杂度指标:
| 模块路径 | 表达式 | 描述 |
|---|---|---|
| foc/Subsystem/park/MATLAB Function | function Iq = fcn(Alpha,Beta,Theta)... | 注释密度 = 0。注释密度应大于 0.2。 |
| foc/Subsystem/park/MATLAB Function1 | function Id = fcn(Ialpha,Ibeta,Theta)... | 注释密度 = 0。注释密度应大于 0.2。 |
| foc/Subsystem/rePark/MATLAB Function | function Valpha = fcn(Vd,Vq,Theta)... | 注释密度 = 0。注释密度应大于 0.2。 |
| foc/Subsystem/rePark/MATLAB Function1 | function Vbeta = fcn(Vd,Vq,Theta)... | 注释密度 = 0。注释密度应大于 0.2。 |
| foc/Subsystem/reclarke/MATLAB Function | function Va = fcn(Valpha,Vbeta)... | 注释密度 = 0。注释密度应大于 0.2。 |
| foc/Subsystem/reclarke/MATLAB Function1 | function Vb = fcn(Valpha,Vbeta)... | 注释密度 = 0。注释密度应大于 0.2。 |
| foc/Subsystem/reclarke/MATLAB Function2 | function Vc = fcn(Valpha,Vbeta)... | 注释密度 = 0。注释密度应大于 0.2。 |
检查 MATLAB 函数的 %#codegen 指令、MATLAB 代码分析器消息和申述消息 ID。
警告
发现以下 MATLAB Function 模块具有代码分析器警告、缺失 %#codegen 指令或不当使用申述消息 ID:
| 模块路径 | 表达式 | 描述 |
|---|---|---|
| foc/Subsystem/clarke/MATLAB Function | function Ialpha = fcn(IA, IB, IC) | INUSD : 可能未使用输入参数。请考虑改用 ~ 替换该参数。 |
| foc/Subsystem/clarke/MATLAB Function | function Ialpha = fcn(IA, IB, IC) | INUSD : 可能未使用输入参数。请考虑改用 ~ 替换该参数。 |
| foc/Subsystem/clarke/MATLAB Function1 | function Ibeta = fcn(IA, IB, IC) | INUSD : 可能未使用输入参数。请考虑改用 ~ 替换该参数。 |
| foc/Subsystem/reclarke/MATLAB Function | function Va = fcn(Valpha, Vbeta) | INUSD : 可能未使用输入参数。请考虑改用 ~ 替换该参数。 |
检查模型配置中应用于数据存储内存且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 检测写前读 (ReadBeforeWriteMsg) | UseLocalSettings | EnableAllAsError |
| 警告 | 检测读后写 (WriteAfterReadMsg) | UseLocalSettings | EnableAllAsError |
| 警告 | 检测写后写 (WriteAfterWriteMsg) | UseLocalSettings | EnableAllAsError |
| 警告 | 重复数据存储名称 (UniqueDataStoreMsg) | none | error |
检查模型配置中应用于保存模型文件的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 模块图包含禁用的库链接 (SaveWithDisabledLinksMsg) | warning | error |
| 警告 | 模块图包含参数化库链接 (SaveWithParameterizedLinksMsg) | warning | error |
检查模型配置中可能影响安全性的模型引用设置。
通过
模型配置参数的所有约束均已满足。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 通过 | 重新编译 (UpdateModelReferenceTargets) | IfOutOfDateOrStructuralChange | AssumeUpToDate, IfOutOfDateOrStructuralChange |
| 通过 | 为代码生成按值传递固定大小的标量根输入 (ModelReferencePassRootInputsByReference) * | on | on |
| 通过 | 尽量减少出现代数环 (ModelReferenceMinAlgLoopOccurrences) | off | off |
检查模型配置中应用于注释且可能影响安全性的代码生成设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 前提条件 |
|---|---|---|---|---|
| 警告 | 显示已消除模块 (ShowEliminatedStatement) | off | on | GenerateComments |
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 | |
| 警告 | 为 '模型默认' 存储类提供详细注释 (ForceParamTrailComments) | off | on | GenerateComments |
| 警告 | ReqsInCode | 不满足前提条件约束。 | on | SystemTargetFile, GenerateComments |
检查模型配置中可能影响安全性的代码生成接口设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 前提条件 |
|---|---|---|---|---|
| 警告 | 支持非有限数 (SupportNonFinite) | on | off | |
| 警告 | SupportAbsoluteTime | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | SupportContinuousTime | 不满足前提条件约束。 | off | SystemTargetFile |
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 | |
| 警告 | SupportNonInlinedSFcns | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | IncludeMdlTerminateFcn | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | SuppressErrorStatus | 不满足前提条件约束。 | on | SystemTargetFile |
| 警告 | MAT 文件记录 (MatFileLogging) | on | off |
检查模型配置中应用于求解器且可能影响安全性的求解器设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 类型 (SolverType) | Variable-step | Fixed-step |
| 警告 | 求解器 (SolverName) | VariableStepAuto | FixedStepDiscrete |
检查模型配置中应用于求解器且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 代数环 (AlgebraicLoopMsg) | warning | error |
| 警告 | 尽量减少代数环 (ArtificialAlgebraicLoopMsg) | warning | error |
| 警告 | 模块优先级违规 (BlockPriorityViolationMsg) | warning | error |
| 警告 | 自动求解器参数选择 (SolverPrmCheckMsg) | none | error |
| 警告 | 状态名称冲突 (StateNameClashWarn) | none | warning |
检查模型配置中应用于采样时间且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 信号源模块指定 -1 采样时间 (InheritedTsInSrcMsg) | warning | error |
| 警告 | 强制应用 Signal Specification 模块指定的采样时间 (SigSpecEnsureSampleTimeMsg) | warning | error |
| 警告 | 单任务数据传输 (SingleTaskRateTransMsg) | none | error |
| 警告 | 具有同等优先级的任务 (TasksWithSamePriorityMsg) | warning | error |
| 警告 | 未指定采样时间的可继承性 (UnknownTsInhSupMsg) | warning | error |
检查模型配置中应用于逻辑信号且可能影响安全性的优化设置。
通过
模型配置参数的所有约束均已满足。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 通过 | 将逻辑信号实现为布尔数据(而不是双精度数据) (BooleanDataType) | on | on |
检查模型配置中可能影响安全性的模块简化优化设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 模块简化 (BlockReduction) | on | off |
检查模型配置中应用于代码样式且可能影响安全性的代码生成设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 前提条件 |
|---|---|---|---|---|
| 警告 | ParenthesesLevel | 不满足前提条件约束。 | Maximum, Standards | SystemTargetFile |
| 警告 | PreserveExpressionOrder | 不满足前提条件约束。 | on | SystemTargetFile |
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 |
检查模型配置中应用于应用程序生命周期且可能影响安全性的优化设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 应用程序生命周期(天) (LifeSpan) | auto | inf |
检查模型配置中可能影响安全性的代码生成标识符设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 不推荐的值 | 前提条件 |
|---|---|---|---|---|---|
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 | ||
| 警告 | MangleLength | 不满足前提条件约束。 | 1, 2, 3 | SystemTargetFile |
检查模型配置中应用于数据初始化且可能影响安全性的优化设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 前提条件 |
|---|---|---|---|---|
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 | |
| 警告 | ZeroExternalMemoryAtStartup* | 不满足前提条件约束。 | on | SystemTargetFile, CodeInterfacePackaging |
| 警告 | ZeroInternalMemoryAtStartup* | 不满足前提条件约束。 | on | SystemTargetFile, CodeInterfacePackaging |
检查模型配置中应用于数据类型转换且可能影响安全性的优化设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 删除从浮点到整数转换中将超出范围值绕回的代码 (EfficientFloat2IntCast) | off | on |
检查模型配置中应用于除法算术异常且可能影响安全性的优化设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 前提条件 |
|---|---|---|---|---|
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 | |
| 警告 | NoFixptDivByZeroProtection | 不满足前提条件约束。 | off | SystemTargetFile |
检查模型配置中应用于指定的最小值和最大值且可能影响安全性的优化设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 前提条件 |
|---|---|---|---|---|
| 警告 | UseSpecifiedMinMax | 不满足前提条件约束。 | off | SystemTargetFile |
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 |
检查 '字节顺序' 和 '有符号整数除法舍入方式' 参数
标识硬件属性的不一致性或欠定,这可能导致生成的代码不正确且效率低下。
通过
目标设定一致。
请检查 '生产硬件' 和 '测试硬件' 是否匹配
在 "配置参数" 对话框中搜索 '测试硬件与生产硬件相同',并检查它是否已选中。如果它处于清除状态,请标识目标设定是否匹配。
通过
'测试硬件与生产硬件相同' 处于选中或清除状态并且目标设定匹配。
检查模型配置中影响兼容性且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 需要升级 S-Function (SFcnCompatibilityMsg) | none | error |
检查模型配置中应用于参数且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 检测下溢 (ParameterUnderflowMsg) | none | error |
| 警告 | 检测精度损失 (ParameterPrecisionLossMsg) | warning | error |
| 警告 | 检测可调性损失 (ParameterTunabilityLossMsg) | warning | error |
检查模型配置中应用于 Merge 模块且可能影响安全性的诊断设置。
通过
模型配置参数的所有约束均已满足。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 通过 | 检测在同一时间步执行的多个驱动模块 (MergeDetectMultiDrivingBlocksExec) | error | error |
检查模型配置中影响模型初始化且可能影响安全性的诊断设置。
通过
模型配置参数的所有约束均已满足。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 通过 | 欠定初始化检测 (UnderspecifiedInitializationDetection) | Simplified | Simplified |
检查模型配置中应用于用于调试的数据并可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | Model Verification 模块启用 (AssertControl) | UseLocalSettings | DisableAll |
检查模型配置中应用于信号连接性且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 信号标签不匹配 (SignalLabelMismatchMsg) | none | error |
| 警告 | 未连接的模块输入端口 (UnconnectedInputMsg) | none | error |
| 警告 | 未连接的模块输出端口 (UnconnectedOutputMsg) | none | error |
| 警告 | 未连接的信号线 (UnconnectedLineMsg) | none | error |
检查模型配置中应用于总线连接性且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 根 Outport 模块上未指定总线对象 (RootOutportRequireBusObject) | warning | error |
| 警告 | 元素名称不匹配 (BusObjectLabelMismatch) | warning | error |
| 警告 | 总线信号视为向量 (StrictBusMsg) | ErrorLevel1 | ErrorOnBusTreatedAsVector |
| 警告 | 非总线信号被视为总线信号 (NonBusSignalsTreatedAsBus) | none | error |
检查模型配置中应用于函数调用连接性且可能影响安全性的诊断设置。
通过
模型配置参数的所有约束均已满足。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 通过 | InvalidFcnCallConnMsg | error | error |
| 通过 | 上下文相关输入 (FcnCallInpInsideContextMsg) | error | error |
检查模型配置中应用于类型转换且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 不必要的类型转换 (UnnecessaryDatatypeConvMsg) | none | warning |
| 警告 | 向量/矩阵模块输入转换 (VectorMatrixConversionMsg) | none | error |
检查模型配置中应用于模型引用且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 端口和参数不匹配 (ModelReferenceIOMismatchMessage) | none | error |
| 警告 | 无效根 Inport/Outport 模块连接 (ModelReferenceIOMsg) | none | error |
| 警告 | 不支持的数据记录 (ModelReferenceDataLoggingMessage) | warning | error |
检查模型配置中应用于 Stateflow 且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 图初始化中无效的输入数据访问 (SFInvalidInputDataAccessInChartInitDiag) | warning | error |
| 警告 | 自然父级外的转移 (SFTransitionOutsideNaturalParentDiag) | warning | error |
| 警告 | 不可达的执行路径 (SFUnreachableExecutionPathDiag) | warning | error |
| 警告 | 无向事件广播 (SFUndirectedBroadcastEventsDiag) | warning | error |
| 警告 | 在条件动作之前指定的转移动作 (SFTransitionActionBeforeConditionDiag) | warning | error |
| 警告 | 绝对时间时序值短于采样期间 (SFTemporalDelaySmallerThanSampleTimeDiag) | warning | error |
| 警告 | 叶状态的自转移 (SFSelfTransitionDiag) | warning | error |
| 警告 | 存在输入事件时禁用了 '初始化时执行' (SFExecutionAtInitializationDiag) | warning | error |
检查模型配置中应用于信号数据且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 除以奇异矩阵 (CheckMatrixSingularityMsg) | none | error |
| 警告 | 未定数据类型 (UnderSpecifiedDataTypeMsg) | none | error |
| 警告 | 溢出时绕回 (IntegerOverflowMsg) | warning | error |
| 警告 | 溢出时饱和 (IntegerSaturationMsg) | warning | error |
| 警告 | 模块输出为 Inf 或 NaN (SignalInfNanChecking) | none | error |
| 警告 | 仿真范围检查 (SignalRangeChecking) | none | error |
检查未链接到需求文档的模型元素。
警告
以下 MATLAB 函数未链接到需求文档:
检查未链接到需求文档的模型元素。
警告
以下模型元素未链接到需求文档:
确定可能影响 MISRA C:2012 合规代码生成的配置参数。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 前提条件 |
|---|---|---|---|---|
| 警告 | Model Verification 模块启用 (AssertControl) | UseLocalSettings | DisableAll | |
| D - 警告 | 共享代码放置 (UtilityFuncGeneration) | Auto | Shared location | |
| 警告 | 生成共享常量 (GenerateSharedConstants) | 不满足前提条件约束。 | off | UtilityFuncGeneration |
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 | |
| 警告 | SupportContinuousTime | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | SupportNonInlinedSFcns | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | MAT 文件记录 (MatFileLogging) | on | off | |
| 警告 | ParenthesesLevel | 不满足前提条件约束。 | Standards, Maximum | SystemTargetFile |
| 警告 | CastingMode | 不满足前提条件约束。 | Standards | SystemTargetFile |
| 警告 | InternalIdentifier | 不满足前提条件约束。 | Shortened | SystemTargetFile |
| 警告 | 使用除法进行定点净斜率计算 (UseDivisionForNetSlopeComputation) | off | on, UseDivisionForReciprocalsOfIntegersOnly | |
| 警告 | EnableSignedLeftShifts | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | EnableSignedRightShifts | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | 模块输出为 Inf 或 NaN (SignalInfNanChecking) | none | warning | |
| 警告 | MATLAB 函数中的动态内存分配 (MATLABDynamicMemAlloc) | on | off | |
| 警告 | 无向事件广播 (SFUndirectedBroadcastEventsDiag) | warning | error | |
| 警告 | MATLAB 函数的编译时递归限制 (CompileTimeRecursionLimit) | 50 | 0 | |
| 警告 | 为 MATLAB 函数启用运行时递归 (EnableRuntimeRecursion) | on | off | |
| 警告 | MATLABFcnDesc | 不满足前提条件约束。 | on | GenerateComments, SystemTargetFile |
| 警告 | 利用目标硬件指令集扩展 (InstructionSetExtensions) | SSE2 | None |
显示模型或子系统的元素数以及子系统的名称、级别和深度
模型指标信息
显示 Simulink 模块和 Stateflow 构造的元素数
摘要
| 元素类型 | 计数 |
|---|---|
| Inport | 14 |
| Outport | 11 |
| SubSystem | 4 |
| MATLAB Function | 9 |
Simulink
| 模块类型 | 计数 |
|---|---|
| Inport | 14 |
| Outport | 11 |
| Scope | 9 |
| MATLAB Function Block | 9 |
| SubSystem | 4 |
| RateTransition | 3 |
Stateflow
| Stateflow 构造 | 计数 |
|---|---|
| Stateflow Data | 33 |
模型复杂度信息
显示子系统的名称、级别和深度
最大子系统深度: 3
子系统深度
标识 While Iterator 和 For Iterator 子系统中的采样时间依赖模块。
通过
For Iterator 或 While Iterator 子系统中的采样时间依赖模块。
检查不会生成超范围情形检查代码的 Lookup Table 模块、Prelookup 模块和 Interpolation 模块。
通过
未发现不会生成超范围情形检查代码的 Lookup Table 模块。
检查模型配置中应用于变体且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 信号的源和目标的变体条件不匹配 (VariantConditionMismatch) | none | error |
标识是否适当设置了 Stateflow 调试选项。
警告
以下 Stateflow 调试选项设置不适当:
| 参数 | 当前值 | 推荐值 |
|---|---|---|
| 溢出时绕回 (IntegerOverflowMsg) | warning | error |
| 仿真范围检查 (SignalRangeChecking) | none | error |
标识 MATLAB 函数中标准化函数头的使用情形。
警告
以下 MATLAB 函数使用非标准函数头:
| 模块路径 | 表达式 |
|---|---|
| foc/Subsystem/clarke/MATLAB Function | function Ialpha = fcn(IA,IB,IC)... |
标识 MATLAB 函数中标准化函数头的使用情形。
警告
以下 MATLAB 函数使用非标准函数头:
标识具有继承的复/实性或数据类型属性的输入、输出或参数的 MATLAB Function。
警告
以下 MATLAB Function 具有数据类型属性设置为 '继承: 与 Simulink 相同' 或 '继承: 来自图中的定义' 的接口:
标识具有继承的复/实性或数据类型属性的输入、输出或参数的 MATLAB Function。
警告
以下 MATLAB Function 具有复/实性属性设置为 '继承' 的接口:
标识违反代码和复杂度指标的 MATLAB Function。
警告
发现以下 MATLAB Function 模块违反代码和复杂度指标:
| 模块路径 | 表达式 | 描述 |
|---|---|---|
| foc/Subsystem/park/MATLAB Function | function Iq = fcn(Alpha,Beta,Theta)... | 注释密度 = 0。注释密度应大于 0.2。 |
| foc/Subsystem/park/MATLAB Function1 | function Id = fcn(Ialpha,Ibeta,Theta)... | 注释密度 = 0。注释密度应大于 0.2。 |
| foc/Subsystem/rePark/MATLAB Function | function Valpha = fcn(Vd,Vq,Theta)... | 注释密度 = 0。注释密度应大于 0.2。 |
| foc/Subsystem/rePark/MATLAB Function1 | function Vbeta = fcn(Vd,Vq,Theta)... | 注释密度 = 0。注释密度应大于 0.2。 |
| foc/Subsystem/reclarke/MATLAB Function | function Va = fcn(Valpha,Vbeta)... | 注释密度 = 0。注释密度应大于 0.2。 |
| foc/Subsystem/reclarke/MATLAB Function1 | function Vb = fcn(Valpha,Vbeta)... | 注释密度 = 0。注释密度应大于 0.2。 |
| foc/Subsystem/reclarke/MATLAB Function2 | function Vc = fcn(Valpha,Vbeta)... | 注释密度 = 0。注释密度应大于 0.2。 |
检查 MATLAB 函数的 %#codegen 指令、MATLAB 代码分析器消息和申述消息 ID。
警告
发现以下 MATLAB Function 模块具有代码分析器警告、缺失 %#codegen 指令或不当使用申述消息 ID:
| 模块路径 | 表达式 | 描述 |
|---|---|---|
| foc/Subsystem/clarke/MATLAB Function | function Ialpha = fcn(IA, IB, IC) | INUSD : 可能未使用输入参数。请考虑改用 ~ 替换该参数。 |
| foc/Subsystem/clarke/MATLAB Function | function Ialpha = fcn(IA, IB, IC) | INUSD : 可能未使用输入参数。请考虑改用 ~ 替换该参数。 |
| foc/Subsystem/clarke/MATLAB Function1 | function Ibeta = fcn(IA, IB, IC) | INUSD : 可能未使用输入参数。请考虑改用 ~ 替换该参数。 |
| foc/Subsystem/reclarke/MATLAB Function | function Va = fcn(Valpha, Vbeta) | INUSD : 可能未使用输入参数。请考虑改用 ~ 替换该参数。 |
检查模型配置中应用于数据存储内存且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 检测写前读 (ReadBeforeWriteMsg) | UseLocalSettings | EnableAllAsError |
| 警告 | 检测读后写 (WriteAfterReadMsg) | UseLocalSettings | EnableAllAsError |
| 警告 | 检测写后写 (WriteAfterWriteMsg) | UseLocalSettings | EnableAllAsError |
| 警告 | 重复数据存储名称 (UniqueDataStoreMsg) | none | error |
检查模型配置中应用于保存模型文件的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 模块图包含禁用的库链接 (SaveWithDisabledLinksMsg) | warning | error |
| 警告 | 模块图包含参数化库链接 (SaveWithParameterizedLinksMsg) | warning | error |
检查模型配置中可能影响安全性的模型引用设置。
通过
模型配置参数的所有约束均已满足。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 通过 | 重新编译 (UpdateModelReferenceTargets) | IfOutOfDateOrStructuralChange | AssumeUpToDate, IfOutOfDateOrStructuralChange |
| 通过 | 为代码生成按值传递固定大小的标量根输入 (ModelReferencePassRootInputsByReference) * | on | on |
| 通过 | 尽量减少出现代数环 (ModelReferenceMinAlgLoopOccurrences) | off | off |
检查模型配置中应用于注释且可能影响安全性的代码生成设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 前提条件 |
|---|---|---|---|---|
| 警告 | 显示已消除模块 (ShowEliminatedStatement) | off | on | GenerateComments |
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 | |
| 警告 | 为 '模型默认' 存储类提供详细注释 (ForceParamTrailComments) | off | on | GenerateComments |
| 警告 | ReqsInCode | 不满足前提条件约束。 | on | SystemTargetFile, GenerateComments |
检查模型配置中可能影响安全性的代码生成接口设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 前提条件 |
|---|---|---|---|---|
| 警告 | 支持非有限数 (SupportNonFinite) | on | off | |
| 警告 | SupportAbsoluteTime | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | SupportContinuousTime | 不满足前提条件约束。 | off | SystemTargetFile |
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 | |
| 警告 | SupportNonInlinedSFcns | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | IncludeMdlTerminateFcn | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | SuppressErrorStatus | 不满足前提条件约束。 | on | SystemTargetFile |
| 警告 | MAT 文件记录 (MatFileLogging) | on | off |
检查模型配置中应用于求解器且可能影响安全性的求解器设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 类型 (SolverType) | Variable-step | Fixed-step |
| 警告 | 求解器 (SolverName) | VariableStepAuto | FixedStepDiscrete |
检查模型配置中应用于求解器且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 代数环 (AlgebraicLoopMsg) | warning | error |
| 警告 | 尽量减少代数环 (ArtificialAlgebraicLoopMsg) | warning | error |
| 警告 | 模块优先级违规 (BlockPriorityViolationMsg) | warning | error |
| 警告 | 自动求解器参数选择 (SolverPrmCheckMsg) | none | error |
| 警告 | 状态名称冲突 (StateNameClashWarn) | none | warning |
检查模型配置中应用于采样时间且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 信号源模块指定 -1 采样时间 (InheritedTsInSrcMsg) | warning | error |
| 警告 | 强制应用 Signal Specification 模块指定的采样时间 (SigSpecEnsureSampleTimeMsg) | warning | error |
| 警告 | 单任务数据传输 (SingleTaskRateTransMsg) | none | error |
| 警告 | 具有同等优先级的任务 (TasksWithSamePriorityMsg) | warning | error |
| 警告 | 未指定采样时间的可继承性 (UnknownTsInhSupMsg) | warning | error |
检查模型配置中应用于逻辑信号且可能影响安全性的优化设置。
通过
模型配置参数的所有约束均已满足。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 通过 | 将逻辑信号实现为布尔数据(而不是双精度数据) (BooleanDataType) | on | on |
检查模型配置中可能影响安全性的模块简化优化设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 模块简化 (BlockReduction) | on | off |
检查模型配置中应用于代码样式且可能影响安全性的代码生成设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 前提条件 |
|---|---|---|---|---|
| 警告 | ParenthesesLevel | 不满足前提条件约束。 | Maximum, Standards | SystemTargetFile |
| 警告 | PreserveExpressionOrder | 不满足前提条件约束。 | on | SystemTargetFile |
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 |
检查模型配置中应用于应用程序生命周期且可能影响安全性的优化设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 应用程序生命周期(天) (LifeSpan) | auto | inf |
检查模型配置中可能影响安全性的代码生成标识符设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 不推荐的值 | 前提条件 |
|---|---|---|---|---|---|
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 | ||
| 警告 | MangleLength | 不满足前提条件约束。 | 1, 2, 3 | SystemTargetFile |
检查模型配置中应用于数据初始化且可能影响安全性的优化设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 前提条件 |
|---|---|---|---|---|
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 | |
| 警告 | ZeroExternalMemoryAtStartup* | 不满足前提条件约束。 | on | SystemTargetFile, CodeInterfacePackaging |
| 警告 | ZeroInternalMemoryAtStartup* | 不满足前提条件约束。 | on | SystemTargetFile, CodeInterfacePackaging |
检查模型配置中应用于数据类型转换且可能影响安全性的优化设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 删除从浮点到整数转换中将超出范围值绕回的代码 (EfficientFloat2IntCast) | off | on |
检查模型配置中应用于除法算术异常且可能影响安全性的优化设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 前提条件 |
|---|---|---|---|---|
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 | |
| 警告 | NoFixptDivByZeroProtection | 不满足前提条件约束。 | off | SystemTargetFile |
检查模型配置中应用于指定的最小值和最大值且可能影响安全性的优化设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 前提条件 |
|---|---|---|---|---|
| 警告 | UseSpecifiedMinMax | 不满足前提条件约束。 | off | SystemTargetFile |
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 |
检查 '字节顺序' 和 '有符号整数除法舍入方式' 参数
标识硬件属性的不一致性或欠定,这可能导致生成的代码不正确且效率低下。
通过
目标设定一致。
请检查 '生产硬件' 和 '测试硬件' 是否匹配
在 "配置参数" 对话框中搜索 '测试硬件与生产硬件相同',并检查它是否已选中。如果它处于清除状态,请标识目标设定是否匹配。
通过
'测试硬件与生产硬件相同' 处于选中或清除状态并且目标设定匹配。
检查模型配置中影响兼容性且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 需要升级 S-Function (SFcnCompatibilityMsg) | none | error |
检查模型配置中应用于参数且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 检测下溢 (ParameterUnderflowMsg) | none | error |
| 警告 | 检测精度损失 (ParameterPrecisionLossMsg) | warning | error |
| 警告 | 检测可调性损失 (ParameterTunabilityLossMsg) | warning | error |
检查模型配置中应用于 Merge 模块且可能影响安全性的诊断设置。
通过
模型配置参数的所有约束均已满足。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 通过 | 检测在同一时间步执行的多个驱动模块 (MergeDetectMultiDrivingBlocksExec) | error | error |
检查模型配置中影响模型初始化且可能影响安全性的诊断设置。
通过
模型配置参数的所有约束均已满足。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 通过 | 欠定初始化检测 (UnderspecifiedInitializationDetection) | Simplified | Simplified |
检查模型配置中应用于用于调试的数据并可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | Model Verification 模块启用 (AssertControl) | UseLocalSettings | DisableAll |
检查模型配置中应用于信号连接性且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 信号标签不匹配 (SignalLabelMismatchMsg) | none | error |
| 警告 | 未连接的模块输入端口 (UnconnectedInputMsg) | none | error |
| 警告 | 未连接的模块输出端口 (UnconnectedOutputMsg) | none | error |
| 警告 | 未连接的信号线 (UnconnectedLineMsg) | none | error |
检查模型配置中应用于总线连接性且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 根 Outport 模块上未指定总线对象 (RootOutportRequireBusObject) | warning | error |
| 警告 | 元素名称不匹配 (BusObjectLabelMismatch) | warning | error |
| 警告 | 总线信号视为向量 (StrictBusMsg) | ErrorLevel1 | ErrorOnBusTreatedAsVector |
| 警告 | 非总线信号被视为总线信号 (NonBusSignalsTreatedAsBus) | none | error |
检查模型配置中应用于函数调用连接性且可能影响安全性的诊断设置。
通过
模型配置参数的所有约束均已满足。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 通过 | InvalidFcnCallConnMsg | error | error |
| 通过 | 上下文相关输入 (FcnCallInpInsideContextMsg) | error | error |
检查模型配置中应用于类型转换且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 不必要的类型转换 (UnnecessaryDatatypeConvMsg) | none | warning |
| 警告 | 向量/矩阵模块输入转换 (VectorMatrixConversionMsg) | none | error |
检查模型配置中应用于模型引用且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 端口和参数不匹配 (ModelReferenceIOMismatchMessage) | none | error |
| 警告 | 无效根 Inport/Outport 模块连接 (ModelReferenceIOMsg) | none | error |
| 警告 | 不支持的数据记录 (ModelReferenceDataLoggingMessage) | warning | error |
检查模型配置中应用于 Stateflow 且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 图初始化中无效的输入数据访问 (SFInvalidInputDataAccessInChartInitDiag) | warning | error |
| 警告 | 自然父级外的转移 (SFTransitionOutsideNaturalParentDiag) | warning | error |
| 警告 | 不可达的执行路径 (SFUnreachableExecutionPathDiag) | warning | error |
| 警告 | 无向事件广播 (SFUndirectedBroadcastEventsDiag) | warning | error |
| 警告 | 在条件动作之前指定的转移动作 (SFTransitionActionBeforeConditionDiag) | warning | error |
| 警告 | 绝对时间时序值短于采样期间 (SFTemporalDelaySmallerThanSampleTimeDiag) | warning | error |
| 警告 | 叶状态的自转移 (SFSelfTransitionDiag) | warning | error |
| 警告 | 存在输入事件时禁用了 '初始化时执行' (SFExecutionAtInitializationDiag) | warning | error |
检查模型配置中应用于信号数据且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 除以奇异矩阵 (CheckMatrixSingularityMsg) | none | error |
| 警告 | 未定数据类型 (UnderSpecifiedDataTypeMsg) | none | error |
| 警告 | 溢出时绕回 (IntegerOverflowMsg) | warning | error |
| 警告 | 溢出时饱和 (IntegerSaturationMsg) | warning | error |
| 警告 | 模块输出为 Inf 或 NaN (SignalInfNanChecking) | none | error |
| 警告 | 仿真范围检查 (SignalRangeChecking) | none | error |
检查未链接到需求文档的模型元素。
警告
以下 MATLAB 函数未链接到需求文档:
检查未链接到需求文档的模型元素。
警告
以下模型元素未链接到需求文档:
确定可能影响 MISRA C:2012 合规代码生成的配置参数。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 前提条件 |
|---|---|---|---|---|
| 警告 | Model Verification 模块启用 (AssertControl) | UseLocalSettings | DisableAll | |
| D - 警告 | 共享代码放置 (UtilityFuncGeneration) | Auto | Shared location | |
| 警告 | 生成共享常量 (GenerateSharedConstants) | 不满足前提条件约束。 | off | UtilityFuncGeneration |
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 | |
| 警告 | SupportContinuousTime | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | SupportNonInlinedSFcns | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | MAT 文件记录 (MatFileLogging) | on | off | |
| 警告 | ParenthesesLevel | 不满足前提条件约束。 | Standards, Maximum | SystemTargetFile |
| 警告 | CastingMode | 不满足前提条件约束。 | Standards | SystemTargetFile |
| 警告 | InternalIdentifier | 不满足前提条件约束。 | Shortened | SystemTargetFile |
| 警告 | 使用除法进行定点净斜率计算 (UseDivisionForNetSlopeComputation) | off | on, UseDivisionForReciprocalsOfIntegersOnly | |
| 警告 | EnableSignedLeftShifts | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | EnableSignedRightShifts | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | 模块输出为 Inf 或 NaN (SignalInfNanChecking) | none | warning | |
| 警告 | MATLAB 函数中的动态内存分配 (MATLABDynamicMemAlloc) | on | off | |
| 警告 | 无向事件广播 (SFUndirectedBroadcastEventsDiag) | warning | error | |
| 警告 | MATLAB 函数的编译时递归限制 (CompileTimeRecursionLimit) | 50 | 0 | |
| 警告 | 为 MATLAB 函数启用运行时递归 (EnableRuntimeRecursion) | on | off | |
| 警告 | MATLABFcnDesc | 不满足前提条件约束。 | on | GenerateComments, SystemTargetFile |
| 警告 | 利用目标硬件指令集扩展 (InstructionSetExtensions) | SSE2 | None |
显示模型或子系统的元素数以及子系统的名称、级别和深度
模型指标信息
显示 Simulink 模块和 Stateflow 构造的元素数
摘要
| 元素类型 | 计数 |
|---|---|
| Inport | 14 |
| Outport | 11 |
| SubSystem | 4 |
| MATLAB Function | 9 |
Simulink
| 模块类型 | 计数 |
|---|---|
| Inport | 14 |
| Outport | 11 |
| Scope | 9 |
| MATLAB Function Block | 9 |
| SubSystem | 4 |
| RateTransition | 3 |
Stateflow
| Stateflow 构造 | 计数 |
|---|---|
| Stateflow Data | 33 |
模型复杂度信息
显示子系统的名称、级别和深度
最大子系统深度: 3
子系统深度
标识 While Iterator 和 For Iterator 子系统中的采样时间依赖模块。
通过
For Iterator 或 While Iterator 子系统中的采样时间依赖模块。
检查不会生成超范围情形检查代码的 Lookup Table 模块、Prelookup 模块和 Interpolation 模块。
通过
未发现不会生成超范围情形检查代码的 Lookup Table 模块。
检查模型配置中应用于变体且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 信号的源和目标的变体条件不匹配 (VariantConditionMismatch) | none | error |
标识是否适当设置了 Stateflow 调试选项。
警告
以下 Stateflow 调试选项设置不适当:
| 参数 | 当前值 | 推荐值 |
|---|---|---|
| 溢出时绕回 (IntegerOverflowMsg) | warning | error |
| 仿真范围检查 (SignalRangeChecking) | none | error |
标识 MATLAB 函数中标准化函数头的使用情形。
警告
以下 MATLAB 函数使用非标准函数头:
| 模块路径 | 表达式 |
|---|---|
| foc/Subsystem/clarke/MATLAB Function | function Ialpha = fcn(IA,IB,IC)... |
标识 MATLAB 函数中标准化函数头的使用情形。
警告
以下 MATLAB 函数使用非标准函数头:
标识具有继承的复/实性或数据类型属性的输入、输出或参数的 MATLAB Function。
警告
以下 MATLAB Function 具有数据类型属性设置为 '继承: 与 Simulink 相同' 或 '继承: 来自图中的定义' 的接口:
标识具有继承的复/实性或数据类型属性的输入、输出或参数的 MATLAB Function。
警告
以下 MATLAB Function 具有复/实性属性设置为 '继承' 的接口:
标识违反代码和复杂度指标的 MATLAB Function。
警告
发现以下 MATLAB Function 模块违反代码和复杂度指标:
| 模块路径 | 表达式 | 描述 |
|---|---|---|
| foc/Subsystem/park/MATLAB Function | function Iq = fcn(Alpha,Beta,Theta)... | 注释密度 = 0。注释密度应大于 0.2。 |
| foc/Subsystem/park/MATLAB Function1 | function Id = fcn(Ialpha,Ibeta,Theta)... | 注释密度 = 0。注释密度应大于 0.2。 |
| foc/Subsystem/rePark/MATLAB Function | function Valpha = fcn(Vd,Vq,Theta)... | 注释密度 = 0。注释密度应大于 0.2。 |
| foc/Subsystem/rePark/MATLAB Function1 | function Vbeta = fcn(Vd,Vq,Theta)... | 注释密度 = 0。注释密度应大于 0.2。 |
| foc/Subsystem/reclarke/MATLAB Function | function Va = fcn(Valpha,Vbeta)... | 注释密度 = 0。注释密度应大于 0.2。 |
| foc/Subsystem/reclarke/MATLAB Function1 | function Vb = fcn(Valpha,Vbeta)... | 注释密度 = 0。注释密度应大于 0.2。 |
| foc/Subsystem/reclarke/MATLAB Function2 | function Vc = fcn(Valpha,Vbeta)... | 注释密度 = 0。注释密度应大于 0.2。 |
检查 MATLAB 函数的 %#codegen 指令、MATLAB 代码分析器消息和申述消息 ID。
警告
发现以下 MATLAB Function 模块具有代码分析器警告、缺失 %#codegen 指令或不当使用申述消息 ID:
| 模块路径 | 表达式 | 描述 |
|---|---|---|
| foc/Subsystem/clarke/MATLAB Function | function Ialpha = fcn(IA, IB, IC) | INUSD : 可能未使用输入参数。请考虑改用 ~ 替换该参数。 |
| foc/Subsystem/clarke/MATLAB Function | function Ialpha = fcn(IA, IB, IC) | INUSD : 可能未使用输入参数。请考虑改用 ~ 替换该参数。 |
| foc/Subsystem/clarke/MATLAB Function1 | function Ibeta = fcn(IA, IB, IC) | INUSD : 可能未使用输入参数。请考虑改用 ~ 替换该参数。 |
| foc/Subsystem/reclarke/MATLAB Function | function Va = fcn(Valpha, Vbeta) | INUSD : 可能未使用输入参数。请考虑改用 ~ 替换该参数。 |
检查模型配置中应用于数据存储内存且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 检测写前读 (ReadBeforeWriteMsg) | UseLocalSettings | EnableAllAsError |
| 警告 | 检测读后写 (WriteAfterReadMsg) | UseLocalSettings | EnableAllAsError |
| 警告 | 检测写后写 (WriteAfterWriteMsg) | UseLocalSettings | EnableAllAsError |
| 警告 | 重复数据存储名称 (UniqueDataStoreMsg) | none | error |
检查模型配置中应用于保存模型文件的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 模块图包含禁用的库链接 (SaveWithDisabledLinksMsg) | warning | error |
| 警告 | 模块图包含参数化库链接 (SaveWithParameterizedLinksMsg) | warning | error |
检查模型配置中可能影响安全性的模型引用设置。
通过
模型配置参数的所有约束均已满足。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 通过 | 重新编译 (UpdateModelReferenceTargets) | IfOutOfDateOrStructuralChange | AssumeUpToDate, IfOutOfDateOrStructuralChange |
| 通过 | 为代码生成按值传递固定大小的标量根输入 (ModelReferencePassRootInputsByReference) * | on | on |
| 通过 | 尽量减少出现代数环 (ModelReferenceMinAlgLoopOccurrences) | off | off |
检查模型配置中应用于注释且可能影响安全性的代码生成设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 前提条件 |
|---|---|---|---|---|
| 警告 | 显示已消除模块 (ShowEliminatedStatement) | off | on | GenerateComments |
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 | |
| 警告 | 为 '模型默认' 存储类提供详细注释 (ForceParamTrailComments) | off | on | GenerateComments |
| 警告 | ReqsInCode | 不满足前提条件约束。 | on | SystemTargetFile, GenerateComments |
检查模型配置中可能影响安全性的代码生成接口设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 前提条件 |
|---|---|---|---|---|
| 警告 | 支持非有限数 (SupportNonFinite) | on | off | |
| 警告 | SupportAbsoluteTime | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | SupportContinuousTime | 不满足前提条件约束。 | off | SystemTargetFile |
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 | |
| 警告 | SupportNonInlinedSFcns | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | IncludeMdlTerminateFcn | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | SuppressErrorStatus | 不满足前提条件约束。 | on | SystemTargetFile |
| 警告 | MAT 文件记录 (MatFileLogging) | on | off |
检查模型配置中应用于求解器且可能影响安全性的求解器设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 类型 (SolverType) | Variable-step | Fixed-step |
| 警告 | 求解器 (SolverName) | VariableStepAuto | FixedStepDiscrete |
检查模型配置中应用于求解器且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 代数环 (AlgebraicLoopMsg) | warning | error |
| 警告 | 尽量减少代数环 (ArtificialAlgebraicLoopMsg) | warning | error |
| 警告 | 模块优先级违规 (BlockPriorityViolationMsg) | warning | error |
| 警告 | 自动求解器参数选择 (SolverPrmCheckMsg) | none | error |
| 警告 | 状态名称冲突 (StateNameClashWarn) | none | warning |
检查模型配置中应用于采样时间且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 信号源模块指定 -1 采样时间 (InheritedTsInSrcMsg) | warning | error |
| 警告 | 强制应用 Signal Specification 模块指定的采样时间 (SigSpecEnsureSampleTimeMsg) | warning | error |
| 警告 | 单任务数据传输 (SingleTaskRateTransMsg) | none | error |
| 警告 | 具有同等优先级的任务 (TasksWithSamePriorityMsg) | warning | error |
| 警告 | 未指定采样时间的可继承性 (UnknownTsInhSupMsg) | warning | error |
检查模型配置中应用于逻辑信号且可能影响安全性的优化设置。
通过
模型配置参数的所有约束均已满足。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 通过 | 将逻辑信号实现为布尔数据(而不是双精度数据) (BooleanDataType) | on | on |
检查模型配置中可能影响安全性的模块简化优化设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 模块简化 (BlockReduction) | on | off |
检查模型配置中应用于代码样式且可能影响安全性的代码生成设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 前提条件 |
|---|---|---|---|---|
| 警告 | ParenthesesLevel | 不满足前提条件约束。 | Maximum, Standards | SystemTargetFile |
| 警告 | PreserveExpressionOrder | 不满足前提条件约束。 | on | SystemTargetFile |
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 |
检查模型配置中应用于应用程序生命周期且可能影响安全性的优化设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 应用程序生命周期(天) (LifeSpan) | auto | inf |
检查模型配置中可能影响安全性的代码生成标识符设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 不推荐的值 | 前提条件 |
|---|---|---|---|---|---|
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 | ||
| 警告 | MangleLength | 不满足前提条件约束。 | 1, 2, 3 | SystemTargetFile |
检查模型配置中应用于数据初始化且可能影响安全性的优化设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 前提条件 |
|---|---|---|---|---|
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 | |
| 警告 | ZeroExternalMemoryAtStartup* | 不满足前提条件约束。 | on | SystemTargetFile, CodeInterfacePackaging |
| 警告 | ZeroInternalMemoryAtStartup* | 不满足前提条件约束。 | on | SystemTargetFile, CodeInterfacePackaging |
检查模型配置中应用于数据类型转换且可能影响安全性的优化设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 删除从浮点到整数转换中将超出范围值绕回的代码 (EfficientFloat2IntCast) | off | on |
检查模型配置中应用于除法算术异常且可能影响安全性的优化设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 前提条件 |
|---|---|---|---|---|
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 | |
| 警告 | NoFixptDivByZeroProtection | 不满足前提条件约束。 | off | SystemTargetFile |
检查模型配置中应用于指定的最小值和最大值且可能影响安全性的优化设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 前提条件 |
|---|---|---|---|---|
| 警告 | UseSpecifiedMinMax | 不满足前提条件约束。 | off | SystemTargetFile |
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 |
检查 '字节顺序' 和 '有符号整数除法舍入方式' 参数
标识硬件属性的不一致性或欠定,这可能导致生成的代码不正确且效率低下。
通过
目标设定一致。
请检查 '生产硬件' 和 '测试硬件' 是否匹配
在 "配置参数" 对话框中搜索 '测试硬件与生产硬件相同',并检查它是否已选中。如果它处于清除状态,请标识目标设定是否匹配。
通过
'测试硬件与生产硬件相同' 处于选中或清除状态并且目标设定匹配。
检查模型配置中影响兼容性且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 需要升级 S-Function (SFcnCompatibilityMsg) | none | error |
检查模型配置中应用于参数且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 检测下溢 (ParameterUnderflowMsg) | none | error |
| 警告 | 检测精度损失 (ParameterPrecisionLossMsg) | warning | error |
| 警告 | 检测可调性损失 (ParameterTunabilityLossMsg) | warning | error |
检查模型配置中应用于 Merge 模块且可能影响安全性的诊断设置。
通过
模型配置参数的所有约束均已满足。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 通过 | 检测在同一时间步执行的多个驱动模块 (MergeDetectMultiDrivingBlocksExec) | error | error |
检查模型配置中影响模型初始化且可能影响安全性的诊断设置。
通过
模型配置参数的所有约束均已满足。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 通过 | 欠定初始化检测 (UnderspecifiedInitializationDetection) | Simplified | Simplified |
检查模型配置中应用于用于调试的数据并可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | Model Verification 模块启用 (AssertControl) | UseLocalSettings | DisableAll |
检查模型配置中应用于信号连接性且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 信号标签不匹配 (SignalLabelMismatchMsg) | none | error |
| 警告 | 未连接的模块输入端口 (UnconnectedInputMsg) | none | error |
| 警告 | 未连接的模块输出端口 (UnconnectedOutputMsg) | none | error |
| 警告 | 未连接的信号线 (UnconnectedLineMsg) | none | error |
检查模型配置中应用于总线连接性且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 根 Outport 模块上未指定总线对象 (RootOutportRequireBusObject) | warning | error |
| 警告 | 元素名称不匹配 (BusObjectLabelMismatch) | warning | error |
| 警告 | 总线信号视为向量 (StrictBusMsg) | ErrorLevel1 | ErrorOnBusTreatedAsVector |
| 警告 | 非总线信号被视为总线信号 (NonBusSignalsTreatedAsBus) | none | error |
检查模型配置中应用于函数调用连接性且可能影响安全性的诊断设置。
通过
模型配置参数的所有约束均已满足。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 通过 | InvalidFcnCallConnMsg | error | error |
| 通过 | 上下文相关输入 (FcnCallInpInsideContextMsg) | error | error |
检查模型配置中应用于类型转换且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 不必要的类型转换 (UnnecessaryDatatypeConvMsg) | none | warning |
| 警告 | 向量/矩阵模块输入转换 (VectorMatrixConversionMsg) | none | error |
检查模型配置中应用于模型引用且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 端口和参数不匹配 (ModelReferenceIOMismatchMessage) | none | error |
| 警告 | 无效根 Inport/Outport 模块连接 (ModelReferenceIOMsg) | none | error |
| 警告 | 不支持的数据记录 (ModelReferenceDataLoggingMessage) | warning | error |
检查模型配置中应用于 Stateflow 且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 图初始化中无效的输入数据访问 (SFInvalidInputDataAccessInChartInitDiag) | warning | error |
| 警告 | 自然父级外的转移 (SFTransitionOutsideNaturalParentDiag) | warning | error |
| 警告 | 不可达的执行路径 (SFUnreachableExecutionPathDiag) | warning | error |
| 警告 | 无向事件广播 (SFUndirectedBroadcastEventsDiag) | warning | error |
| 警告 | 在条件动作之前指定的转移动作 (SFTransitionActionBeforeConditionDiag) | warning | error |
| 警告 | 绝对时间时序值短于采样期间 (SFTemporalDelaySmallerThanSampleTimeDiag) | warning | error |
| 警告 | 叶状态的自转移 (SFSelfTransitionDiag) | warning | error |
| 警告 | 存在输入事件时禁用了 '初始化时执行' (SFExecutionAtInitializationDiag) | warning | error |
检查模型配置中应用于信号数据且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 除以奇异矩阵 (CheckMatrixSingularityMsg) | none | error |
| 警告 | 未定数据类型 (UnderSpecifiedDataTypeMsg) | none | error |
| 警告 | 溢出时绕回 (IntegerOverflowMsg) | warning | error |
| 警告 | 溢出时饱和 (IntegerSaturationMsg) | warning | error |
| 警告 | 模块输出为 Inf 或 NaN (SignalInfNanChecking) | none | error |
| 警告 | 仿真范围检查 (SignalRangeChecking) | none | error |
检查未链接到需求文档的模型元素。
警告
以下 MATLAB 函数未链接到需求文档:
检查未链接到需求文档的模型元素。
警告
以下模型元素未链接到需求文档:
确定可能影响 MISRA C:2012 合规代码生成的配置参数。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 前提条件 |
|---|---|---|---|---|
| 警告 | Model Verification 模块启用 (AssertControl) | UseLocalSettings | DisableAll | |
| D - 警告 | 共享代码放置 (UtilityFuncGeneration) | Auto | Shared location | |
| 警告 | 生成共享常量 (GenerateSharedConstants) | 不满足前提条件约束。 | off | UtilityFuncGeneration |
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 | |
| 警告 | SupportContinuousTime | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | SupportNonInlinedSFcns | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | MAT 文件记录 (MatFileLogging) | on | off | |
| 警告 | ParenthesesLevel | 不满足前提条件约束。 | Standards, Maximum | SystemTargetFile |
| 警告 | CastingMode | 不满足前提条件约束。 | Standards | SystemTargetFile |
| 警告 | InternalIdentifier | 不满足前提条件约束。 | Shortened | SystemTargetFile |
| 警告 | 使用除法进行定点净斜率计算 (UseDivisionForNetSlopeComputation) | off | on, UseDivisionForReciprocalsOfIntegersOnly | |
| 警告 | EnableSignedLeftShifts | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | EnableSignedRightShifts | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | 模块输出为 Inf 或 NaN (SignalInfNanChecking) | none | warning | |
| 警告 | MATLAB 函数中的动态内存分配 (MATLABDynamicMemAlloc) | on | off | |
| 警告 | 无向事件广播 (SFUndirectedBroadcastEventsDiag) | warning | error | |
| 警告 | MATLAB 函数的编译时递归限制 (CompileTimeRecursionLimit) | 50 | 0 | |
| 警告 | 为 MATLAB 函数启用运行时递归 (EnableRuntimeRecursion) | on | off | |
| 警告 | MATLABFcnDesc | 不满足前提条件约束。 | on | GenerateComments, SystemTargetFile |
| 警告 | 利用目标硬件指令集扩展 (InstructionSetExtensions) | SSE2 | None |
显示模型或子系统的元素数以及子系统的名称、级别和深度
模型指标信息
显示 Simulink 模块和 Stateflow 构造的元素数
摘要
| 元素类型 | 计数 |
|---|---|
| Inport | 14 |
| Outport | 11 |
| SubSystem | 4 |
| MATLAB Function | 9 |
Simulink
| 模块类型 | 计数 |
|---|---|
| Inport | 14 |
| Outport | 11 |
| Scope | 9 |
| MATLAB Function Block | 9 |
| SubSystem | 4 |
| RateTransition | 3 |
Stateflow
| Stateflow 构造 | 计数 |
|---|---|
| Stateflow Data | 33 |
模型复杂度信息
显示子系统的名称、级别和深度
最大子系统深度: 3
子系统深度
标识 While Iterator 和 For Iterator 子系统中的采样时间依赖模块。
通过
For Iterator 或 While Iterator 子系统中的采样时间依赖模块。
检查不会生成超范围情形检查代码的 Lookup Table 模块、Prelookup 模块和 Interpolation 模块。
通过
未发现不会生成超范围情形检查代码的 Lookup Table 模块。
检查模型配置中应用于变体且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 信号的源和目标的变体条件不匹配 (VariantConditionMismatch) | none | error |
标识是否适当设置了 Stateflow 调试选项。
警告
以下 Stateflow 调试选项设置不适当:
| 参数 | 当前值 | 推荐值 |
|---|---|---|
| 溢出时绕回 (IntegerOverflowMsg) | warning | error |
| 仿真范围检查 (SignalRangeChecking) | none | error |
标识 MATLAB 函数中标准化函数头的使用情形。
警告
以下 MATLAB 函数使用非标准函数头:
| 模块路径 | 表达式 |
|---|---|
| foc/Subsystem/clarke/MATLAB Function | function Ialpha = fcn(IA,IB,IC)... |
标识 MATLAB 函数中标准化函数头的使用情形。
警告
以下 MATLAB 函数使用非标准函数头:
标识具有继承的复/实性或数据类型属性的输入、输出或参数的 MATLAB Function。
警告
以下 MATLAB Function 具有数据类型属性设置为 '继承: 与 Simulink 相同' 或 '继承: 来自图中的定义' 的接口:
标识具有继承的复/实性或数据类型属性的输入、输出或参数的 MATLAB Function。
警告
以下 MATLAB Function 具有复/实性属性设置为 '继承' 的接口:
标识违反代码和复杂度指标的 MATLAB Function。
警告
发现以下 MATLAB Function 模块违反代码和复杂度指标:
| 模块路径 | 表达式 | 描述 |
|---|---|---|
| foc/Subsystem/park/MATLAB Function | function Iq = fcn(Alpha,Beta,Theta)... | 注释密度 = 0。注释密度应大于 0.2。 |
| foc/Subsystem/park/MATLAB Function1 | function Id = fcn(Ialpha,Ibeta,Theta)... | 注释密度 = 0。注释密度应大于 0.2。 |
| foc/Subsystem/rePark/MATLAB Function | function Valpha = fcn(Vd,Vq,Theta)... | 注释密度 = 0。注释密度应大于 0.2。 |
| foc/Subsystem/rePark/MATLAB Function1 | function Vbeta = fcn(Vd,Vq,Theta)... | 注释密度 = 0。注释密度应大于 0.2。 |
| foc/Subsystem/reclarke/MATLAB Function | function Va = fcn(Valpha,Vbeta)... | 注释密度 = 0。注释密度应大于 0.2。 |
| foc/Subsystem/reclarke/MATLAB Function1 | function Vb = fcn(Valpha,Vbeta)... | 注释密度 = 0。注释密度应大于 0.2。 |
| foc/Subsystem/reclarke/MATLAB Function2 | function Vc = fcn(Valpha,Vbeta)... | 注释密度 = 0。注释密度应大于 0.2。 |
检查 MATLAB 函数的 %#codegen 指令、MATLAB 代码分析器消息和申述消息 ID。
警告
发现以下 MATLAB Function 模块具有代码分析器警告、缺失 %#codegen 指令或不当使用申述消息 ID:
| 模块路径 | 表达式 | 描述 |
|---|---|---|
| foc/Subsystem/clarke/MATLAB Function | function Ialpha = fcn(IA, IB, IC) | INUSD : 可能未使用输入参数。请考虑改用 ~ 替换该参数。 |
| foc/Subsystem/clarke/MATLAB Function | function Ialpha = fcn(IA, IB, IC) | INUSD : 可能未使用输入参数。请考虑改用 ~ 替换该参数。 |
| foc/Subsystem/clarke/MATLAB Function1 | function Ibeta = fcn(IA, IB, IC) | INUSD : 可能未使用输入参数。请考虑改用 ~ 替换该参数。 |
| foc/Subsystem/reclarke/MATLAB Function | function Va = fcn(Valpha, Vbeta) | INUSD : 可能未使用输入参数。请考虑改用 ~ 替换该参数。 |
检查模型配置中应用于数据存储内存且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 检测写前读 (ReadBeforeWriteMsg) | UseLocalSettings | EnableAllAsError |
| 警告 | 检测读后写 (WriteAfterReadMsg) | UseLocalSettings | EnableAllAsError |
| 警告 | 检测写后写 (WriteAfterWriteMsg) | UseLocalSettings | EnableAllAsError |
| 警告 | 重复数据存储名称 (UniqueDataStoreMsg) | none | error |
检查模型配置中应用于保存模型文件的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 模块图包含禁用的库链接 (SaveWithDisabledLinksMsg) | warning | error |
| 警告 | 模块图包含参数化库链接 (SaveWithParameterizedLinksMsg) | warning | error |
检查模型配置中可能影响安全性的模型引用设置。
通过
模型配置参数的所有约束均已满足。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 通过 | 重新编译 (UpdateModelReferenceTargets) | IfOutOfDateOrStructuralChange | AssumeUpToDate, IfOutOfDateOrStructuralChange |
| 通过 | 为代码生成按值传递固定大小的标量根输入 (ModelReferencePassRootInputsByReference) * | on | on |
| 通过 | 尽量减少出现代数环 (ModelReferenceMinAlgLoopOccurrences) | off | off |
检查模型配置中应用于注释且可能影响安全性的代码生成设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 前提条件 |
|---|---|---|---|---|
| 警告 | 显示已消除模块 (ShowEliminatedStatement) | off | on | GenerateComments |
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 | |
| 警告 | 为 '模型默认' 存储类提供详细注释 (ForceParamTrailComments) | off | on | GenerateComments |
| 警告 | ReqsInCode | 不满足前提条件约束。 | on | SystemTargetFile, GenerateComments |
检查模型配置中可能影响安全性的代码生成接口设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 前提条件 |
|---|---|---|---|---|
| 警告 | 支持非有限数 (SupportNonFinite) | on | off | |
| 警告 | SupportAbsoluteTime | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | SupportContinuousTime | 不满足前提条件约束。 | off | SystemTargetFile |
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 | |
| 警告 | SupportNonInlinedSFcns | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | IncludeMdlTerminateFcn | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | SuppressErrorStatus | 不满足前提条件约束。 | on | SystemTargetFile |
| 警告 | MAT 文件记录 (MatFileLogging) | on | off |
检查模型配置中应用于求解器且可能影响安全性的求解器设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 类型 (SolverType) | Variable-step | Fixed-step |
| 警告 | 求解器 (SolverName) | VariableStepAuto | FixedStepDiscrete |
检查模型配置中应用于求解器且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 代数环 (AlgebraicLoopMsg) | warning | error |
| 警告 | 尽量减少代数环 (ArtificialAlgebraicLoopMsg) | warning | error |
| 警告 | 模块优先级违规 (BlockPriorityViolationMsg) | warning | error |
| 警告 | 自动求解器参数选择 (SolverPrmCheckMsg) | none | error |
| 警告 | 状态名称冲突 (StateNameClashWarn) | none | warning |
检查模型配置中应用于采样时间且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 信号源模块指定 -1 采样时间 (InheritedTsInSrcMsg) | warning | error |
| 警告 | 强制应用 Signal Specification 模块指定的采样时间 (SigSpecEnsureSampleTimeMsg) | warning | error |
| 警告 | 单任务数据传输 (SingleTaskRateTransMsg) | none | error |
| 警告 | 具有同等优先级的任务 (TasksWithSamePriorityMsg) | warning | error |
| 警告 | 未指定采样时间的可继承性 (UnknownTsInhSupMsg) | warning | error |
检查模型配置中应用于逻辑信号且可能影响安全性的优化设置。
通过
模型配置参数的所有约束均已满足。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 通过 | 将逻辑信号实现为布尔数据(而不是双精度数据) (BooleanDataType) | on | on |
检查模型配置中可能影响安全性的模块简化优化设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 模块简化 (BlockReduction) | on | off |
检查模型配置中应用于代码样式且可能影响安全性的代码生成设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 前提条件 |
|---|---|---|---|---|
| 警告 | ParenthesesLevel | 不满足前提条件约束。 | Maximum, Standards | SystemTargetFile |
| 警告 | PreserveExpressionOrder | 不满足前提条件约束。 | on | SystemTargetFile |
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 |
检查模型配置中应用于应用程序生命周期且可能影响安全性的优化设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 应用程序生命周期(天) (LifeSpan) | auto | inf |
检查模型配置中可能影响安全性的代码生成标识符设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 不推荐的值 | 前提条件 |
|---|---|---|---|---|---|
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 | ||
| 警告 | MangleLength | 不满足前提条件约束。 | 1, 2, 3 | SystemTargetFile |
检查模型配置中应用于数据初始化且可能影响安全性的优化设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 前提条件 |
|---|---|---|---|---|
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 | |
| 警告 | ZeroExternalMemoryAtStartup* | 不满足前提条件约束。 | on | SystemTargetFile, CodeInterfacePackaging |
| 警告 | ZeroInternalMemoryAtStartup* | 不满足前提条件约束。 | on | SystemTargetFile, CodeInterfacePackaging |
检查模型配置中应用于数据类型转换且可能影响安全性的优化设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 删除从浮点到整数转换中将超出范围值绕回的代码 (EfficientFloat2IntCast) | off | on |
检查模型配置中应用于除法算术异常且可能影响安全性的优化设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 前提条件 |
|---|---|---|---|---|
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 | |
| 警告 | NoFixptDivByZeroProtection | 不满足前提条件约束。 | off | SystemTargetFile |
检查模型配置中应用于指定的最小值和最大值且可能影响安全性的优化设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 前提条件 |
|---|---|---|---|---|
| 警告 | UseSpecifiedMinMax | 不满足前提条件约束。 | off | SystemTargetFile |
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 |
检查 '字节顺序' 和 '有符号整数除法舍入方式' 参数
标识硬件属性的不一致性或欠定,这可能导致生成的代码不正确且效率低下。
通过
目标设定一致。
请检查 '生产硬件' 和 '测试硬件' 是否匹配
在 "配置参数" 对话框中搜索 '测试硬件与生产硬件相同',并检查它是否已选中。如果它处于清除状态,请标识目标设定是否匹配。
通过
'测试硬件与生产硬件相同' 处于选中或清除状态并且目标设定匹配。
检查模型配置中影响兼容性且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 需要升级 S-Function (SFcnCompatibilityMsg) | none | error |
检查模型配置中应用于参数且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 检测下溢 (ParameterUnderflowMsg) | none | error |
| 警告 | 检测精度损失 (ParameterPrecisionLossMsg) | warning | error |
| 警告 | 检测可调性损失 (ParameterTunabilityLossMsg) | warning | error |
检查模型配置中应用于 Merge 模块且可能影响安全性的诊断设置。
通过
模型配置参数的所有约束均已满足。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 通过 | 检测在同一时间步执行的多个驱动模块 (MergeDetectMultiDrivingBlocksExec) | error | error |
检查模型配置中影响模型初始化且可能影响安全性的诊断设置。
通过
模型配置参数的所有约束均已满足。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 通过 | 欠定初始化检测 (UnderspecifiedInitializationDetection) | Simplified | Simplified |
检查模型配置中应用于用于调试的数据并可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | Model Verification 模块启用 (AssertControl) | UseLocalSettings | DisableAll |
检查模型配置中应用于信号连接性且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 信号标签不匹配 (SignalLabelMismatchMsg) | none | error |
| 警告 | 未连接的模块输入端口 (UnconnectedInputMsg) | none | error |
| 警告 | 未连接的模块输出端口 (UnconnectedOutputMsg) | none | error |
| 警告 | 未连接的信号线 (UnconnectedLineMsg) | none | error |
检查模型配置中应用于总线连接性且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 根 Outport 模块上未指定总线对象 (RootOutportRequireBusObject) | warning | error |
| 警告 | 元素名称不匹配 (BusObjectLabelMismatch) | warning | error |
| 警告 | 总线信号视为向量 (StrictBusMsg) | ErrorLevel1 | ErrorOnBusTreatedAsVector |
| 警告 | 非总线信号被视为总线信号 (NonBusSignalsTreatedAsBus) | none | error |
检查模型配置中应用于函数调用连接性且可能影响安全性的诊断设置。
通过
模型配置参数的所有约束均已满足。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 通过 | InvalidFcnCallConnMsg | error | error |
| 通过 | 上下文相关输入 (FcnCallInpInsideContextMsg) | error | error |
检查模型配置中应用于类型转换且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 不必要的类型转换 (UnnecessaryDatatypeConvMsg) | none | warning |
| 警告 | 向量/矩阵模块输入转换 (VectorMatrixConversionMsg) | none | error |
检查模型配置中应用于模型引用且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 端口和参数不匹配 (ModelReferenceIOMismatchMessage) | none | error |
| 警告 | 无效根 Inport/Outport 模块连接 (ModelReferenceIOMsg) | none | error |
| 警告 | 不支持的数据记录 (ModelReferenceDataLoggingMessage) | warning | error |
检查模型配置中应用于 Stateflow 且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 图初始化中无效的输入数据访问 (SFInvalidInputDataAccessInChartInitDiag) | warning | error |
| 警告 | 自然父级外的转移 (SFTransitionOutsideNaturalParentDiag) | warning | error |
| 警告 | 不可达的执行路径 (SFUnreachableExecutionPathDiag) | warning | error |
| 警告 | 无向事件广播 (SFUndirectedBroadcastEventsDiag) | warning | error |
| 警告 | 在条件动作之前指定的转移动作 (SFTransitionActionBeforeConditionDiag) | warning | error |
| 警告 | 绝对时间时序值短于采样期间 (SFTemporalDelaySmallerThanSampleTimeDiag) | warning | error |
| 警告 | 叶状态的自转移 (SFSelfTransitionDiag) | warning | error |
| 警告 | 存在输入事件时禁用了 '初始化时执行' (SFExecutionAtInitializationDiag) | warning | error |
检查模型配置中应用于信号数据且可能影响安全性的诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 除以奇异矩阵 (CheckMatrixSingularityMsg) | none | error |
| 警告 | 未定数据类型 (UnderSpecifiedDataTypeMsg) | none | error |
| 警告 | 溢出时绕回 (IntegerOverflowMsg) | warning | error |
| 警告 | 溢出时饱和 (IntegerSaturationMsg) | warning | error |
| 警告 | 模块输出为 Inf 或 NaN (SignalInfNanChecking) | none | error |
| 警告 | 仿真范围检查 (SignalRangeChecking) | none | error |
检查未链接到需求文档的模型元素。
警告
以下 MATLAB 函数未链接到需求文档:
检查未链接到需求文档的模型元素。
警告
以下模型元素未链接到需求文档:
确定可能影响 MISRA C:2012 合规代码生成的配置参数。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 | 前提条件 |
|---|---|---|---|---|
| 警告 | Model Verification 模块启用 (AssertControl) | UseLocalSettings | DisableAll | |
| D - 警告 | 共享代码放置 (UtilityFuncGeneration) | Auto | Shared location | |
| 警告 | 生成共享常量 (GenerateSharedConstants) | 不满足前提条件约束。 | off | UtilityFuncGeneration |
| D - 警告 | 系统目标文件 (SystemTargetFile) | 非基于 ERT 的目标 | 基于 ERT 的目标 | |
| 警告 | SupportContinuousTime | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | SupportNonInlinedSFcns | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | MAT 文件记录 (MatFileLogging) | on | off | |
| 警告 | ParenthesesLevel | 不满足前提条件约束。 | Standards, Maximum | SystemTargetFile |
| 警告 | CastingMode | 不满足前提条件约束。 | Standards | SystemTargetFile |
| 警告 | InternalIdentifier | 不满足前提条件约束。 | Shortened | SystemTargetFile |
| 警告 | 使用除法进行定点净斜率计算 (UseDivisionForNetSlopeComputation) | off | on, UseDivisionForReciprocalsOfIntegersOnly | |
| 警告 | EnableSignedLeftShifts | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | EnableSignedRightShifts | 不满足前提条件约束。 | off | SystemTargetFile |
| 警告 | 模块输出为 Inf 或 NaN (SignalInfNanChecking) | none | warning | |
| 警告 | MATLAB 函数中的动态内存分配 (MATLABDynamicMemAlloc) | on | off | |
| 警告 | 无向事件广播 (SFUndirectedBroadcastEventsDiag) | warning | error | |
| 警告 | MATLAB 函数的编译时递归限制 (CompileTimeRecursionLimit) | 50 | 0 | |
| 警告 | 为 MATLAB 函数启用运行时递归 (EnableRuntimeRecursion) | on | off | |
| 警告 | MATLABFcnDesc | 不满足前提条件约束。 | on | GenerateComments, SystemTargetFile |
| 警告 | 利用目标硬件指令集扩展 (InstructionSetExtensions) | SSE2 | None |
显示模型或子系统中的模块数。
通过
| 组件 | 模块 |
|---|---|
| foc/Subsystem | 18 |
| foc/Subsystem/park | 10 |
| foc/Subsystem/reclarke | 8 |
| foc/Subsystem/rePark | 7 |
| foc/Subsystem/clarke | 7 |
显示模型或子系统中子系统的数量。
通过
| 组件 | 子系统 |
|---|---|
| foc/Subsystem | 4 |
| foc/Subsystem/rePark | 0 |
| foc/Subsystem/reclarke | 0 |
| foc/Subsystem/clarke | 0 |
| foc/Subsystem/park | 0 |
显示模型或子系统中库链接的数量。
通过
| 组件 | 库链接 |
|---|---|
| foc/Subsystem/rePark | 0 |
| foc/Subsystem/reclarke | 0 |
| foc/Subsystem/clarke | 0 |
| foc/Subsystem/park | 0 |
| foc/Subsystem | 0 |
显示 MATLAB 代码的有效行数。
通过
显示模型或子系统中子系统的深度。
通过
| 组件 | 子系统深度 |
|---|---|
| foc/Subsystem/rePark | 2 |
| foc/Subsystem/reclarke | 2 |
| foc/Subsystem/clarke | 2 |
| foc/Subsystem/park | 2 |
| foc/Subsystem | 1 |
显示 Inport、Outport 和 Subsystem 模块的非描述性名称。
通过
| 组件 | 非描述性名称 |
|---|---|
| foc/Subsystem/rePark | 0 |
| foc/Subsystem/reclarke | 0 |
| foc/Subsystem/clarke | 0 |
| foc/Subsystem/park | 0 |
| foc/Subsystem | 0 |
根据 MAB 建模规范 db_0143 显示数据层和结构体层分离。
通过
| 组件 | 不合格模块 |
|---|---|
| foc/Subsystem | 6 |
| foc/Subsystem/rePark | 0 |
| foc/Subsystem/reclarke | 0 |
| foc/Subsystem/clarke | 0 |
| foc/Subsystem/park | 0 |
单个 MATLAB 保留字
警告
以下 Stateflow 数据使用 MATLAB 保留字作为名称:
检查模型参数 '未使用的数据、事件、消息和函数' 是否未设置为 '无'。
通过
模型配置参数的所有约束均已满足。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 通过 | 未使用的数据、事件、消息和函数 (SFUnusedDataAndEventsDiag) | warning | error, warning |
标识 MATLAB Function 模块中保留关键字的使用情形。
警告
变量名称与保留关键字冲突
| 模块路径 | 表达式 |
|---|---|
| foc/Subsystem/park/MATLAB Function | Alpha |
| foc/Subsystem/park/MATLAB Function | Beta |
jc_0642: 整数舍入模式设置
标识当配置参数 '有符号整数除法舍入方式' 设置为 '未定义' 时模块参数 '整数舍入模式' 设置为 '最简' 的模块。
通过
配置参数 '有符号整数除法舍入方式' 未设置为 '未定义'。
标识用来检测不正确计算结果的数据有效性诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 除以奇异矩阵 (CheckMatrixSingularityMsg) | none | error |
| 警告 | 模块输出为 Inf 或 NaN (SignalInfNanChecking) | none | error |
| 警告 | 溢出时绕回 (IntegerOverflowMsg) | warning | error |
| 警告 | 溢出时饱和 (IntegerSaturationMsg) | warning | error |
标识设置为 "无" 的诊断参数。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 模块输出为 Inf 或 NaN (SignalInfNanChecking) | none | error, warning |
| 警告 | 重复数据存储名称 (UniqueDataStoreMsg) | none | error, warning |
| 警告 | 未连接的模块输入端口 (UnconnectedInputMsg) | none | error, warning |
| 警告 | 未连接的模块输出端口 (UnconnectedOutputMsg) | none | error, warning |
| 警告 | 未连接的信号线 (UnconnectedLineMsg) | none | error, warning |
标识 Simulink 图中的非标准显示属性。
_________________________________________________________________________________________
检查格式设置
标识不正确的模型级格式选项。
警告
注: 以下子检查是对子系统执行的,但基于根级设置。以下格式显示选项不正确。
| 显示属性 | 推荐值 | 实际值 |
|---|---|---|
| 调试 > 叠加信息 > 非标量信号 | 打开 | 关闭 |
| 建模 > 环境 > 模型浏览器 | 关闭 | 打开 |
| 调试 > 叠加信息 > 显示所有链接 | 无 | 已禁用 |
检查模块颜色
标识使用非标准颜色的模块。
通过
所有模块都使用标准颜色。
_________________________________________________________________________________________
检查画布颜色
标识非白色画布。
通过
所有图都使用白色画布。
_________________________________________________________________________________________
检查图缩放
标识缩放因子未设置为 100% 的图。
注意: 对于在 Simulink 编辑器中打开的模型图的每个实例,缩放因子可能不同
警告
以下各图未将缩放因子设置为 100%:
标识是否显示模块名称。
检查具有隐藏名称和明显函数的模块
标识已显示但由于明显行为而可隐藏的模块名称。
通过
所有具有明显行为的模块都有隐藏名称。
检查以非描述性显示的模块名称
标识已显示但由于缺失描述性名称而应隐藏的模块名称。
通过
所有显示的名称都提供描述性信息。
检查缺失的模块名称
标识已隐藏但应显示为描述性名称的模块名称。
通过
所有显示的名称都提供描述性信息。
标识模型中描述格式不一致的层。
警告
以下层没有模型描述:
标识模型中描述格式不一致的层。
警告
以下层的模型描述格式不一致:
检查信号交叉
警告
以下信号与图中的其他信号发生交叉:
标识模型中包含基本模块和子系统的级别。模型的每个级别都必须用同级别的模块来设计(例如,只使用子系统或只使用基本模块)。
警告
模型中的以下级别包括基本模块和子系统:
检查源模块标签
标识需要标注信号的模块。源模块和目标模块的子集需要标注信号。
警告
以下信号没有标签:
检查目标模块标签
标识需要标注信号的模块。源模块和目标模块的子集需要标注信号。
警告
以下信号没有标签:
检查子系统的信号名称传播
警告
以下子系统没有传播的信号的标签:
检查源模块标签
标识需要标注信号的模块。部分源模块和目标模块需要标注信号。
警告
以下信号没有标签:
检查目标模块标签
标识需要标注信号的模块。部分源模块和目标模块需要标注信号。
警告
以下信号没有标签:
检查从 0 开始的索引模式。
警告
以下模块或图具有从 1 开始的索引模式:
检查模块的采样时间属性是否设置为 -1 (继承)。
警告
以下模块的采样时间未设置为 -1 (继承):
标识其第一个(上)输入值连接到常量的 Relational Operator 模块。
通过
此模型不包含 Relational Operator 模块。
标识没有默认转移或默认状态不是最顶部状态的所有状态分组。
通过
未发现 Stateflow 图中存在违反默认转移放置规范的 Stateflow 图和状态。
检查用于标识状态转移中意外回溯的配置参数的设置。
通过
模型配置参数的所有约束均已满足。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 通过 | 意外回溯 (SFUnexpectedBacktrackingDiag) | error | error |
jc_0741: 状态图转移条件中所用数据的更新时机
状态转移条件中使用的变量不能通过 "during" 状态动作类型执行更新。
通过
未发现违反状态转移条件中所用变量更新规范的 Stateflow 状态。
jc_0732: 区分状态名称、数据名称和事件名称
标识给定图中具有相同名称的 Stateflow 状态、Stateflow 数据和 Stateflow 事件。
通过
没有找到 Stateflow 图。
标识状态中 entry 动作(en)、during 动作(du)和 exit 动作(ex)条目之间缺少换行符。标识语句中分号(;)后缺少换行符。
通过
找到的所有状态入口语句都具有正确的格式。
检查 MATLAB 代码中的全局变量
_________________________________________________________________________________________
检查在 MATLAB Function 模块中使用的 MATLAB 代码中是否存在全局变量
通过
未发现全局变量
_________________________________________________________________________________________
检查 Stateflow 图中定义的 MATLAB 函数中是否存在全局变量
通过
未发现 Stateflow 图中定义的 MATLAB 函数
_________________________________________________________________________________________
检查调用的 MATLAB 函数中是否存在全局变量
通过
未发现外部 MATLAB 函数
_________________________________________________________________________________________
标识具有继承的复/实性、数据类型或大小属性的输入、输出或参数的 MATLAB Function。
警告
以下 MATLAB Function 包含具有继承的复/实性、数据类型或大小属性的接口:
标识模型中包含基本模块和子系统的级别。模型的每个级别都必须用同级别的模块来设计(例如,只使用子系统或只使用基本模块)。
警告
模型中的以下级别包括基本模块和子系统:
标识用来检测不正确计算结果的数据有效性诊断设置。
警告
模型配置参数未设置为数据文件中指定的推荐值。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 警告 | 除以奇异矩阵 (CheckMatrixSingularityMsg) | none | error |
| 警告 | 模块输出为 Inf 或 NaN (SignalInfNanChecking) | none | error |
| 警告 | 溢出时绕回 (IntegerOverflowMsg) | warning | error |
| 警告 | 溢出时饱和 (IntegerSaturationMsg) | warning | error |
标识 Simulink 图中的非标准显示属性。
_________________________________________________________________________________________
检查格式设置
标识不正确的模型级格式选项。
警告
注: 以下子检查是对子系统执行的,但基于根级设置。以下格式显示选项不正确。
| 显示属性 | 推荐值 | 实际值 |
|---|---|---|
| 调试 > 叠加信息 > 非标量信号 | 打开 | 关闭 |
| 建模 > 环境 > 模型浏览器 | 关闭 | 打开 |
| 调试 > 叠加信息 > 显示所有链接 | 无 | 已禁用 |
检查模块颜色
标识使用非标准颜色的模块。
通过
所有模块都使用标准颜色。
_________________________________________________________________________________________
检查画布颜色
标识非白色画布。
通过
所有图都使用白色画布。
_________________________________________________________________________________________
检查图缩放
标识缩放因子未设置为 100% 的图。
注意: 对于在 Simulink 编辑器中打开的模型图的每个实例,缩放因子可能不同
警告
以下各图未将缩放因子设置为 100%:
检查 Inport 模块的位置
警告
以下 Inport 模块未放置在图的最左侧:
标识是否显示模块名称。
检查具有隐藏名称和明显函数的模块
标识已显示但由于明显行为而可隐藏的模块名称。
通过
所有具有明显行为的模块都有隐藏名称。
检查以非描述性显示的模块名称
标识已显示但由于缺失描述性名称而应隐藏的模块名称。
通过
所有显示的名称都提供描述性信息。
检查缺失的模块名称
标识已隐藏但应显示为描述性名称的模块名称。
通过
所有显示的名称都提供描述性信息。
标识其第一个(上)输入值连接到常量的 Relational Operator 模块。
通过
此模型不包含 Relational Operator 模块。
检查从 0 开始的索引模式。
警告
以下模块或图具有从 1 开始的索引模式:
检查源模块标签
标识需要标注信号的模块。源模块和目标模块的子集需要标注信号。
警告
以下信号没有标签:
检查目标模块标签
标识需要标注信号的模块。源模块和目标模块的子集需要标注信号。
警告
以下信号没有标签:
检查子系统的信号名称传播
警告
以下子系统没有传播的信号的标签:
检查 Discrete-Time Integrator 模块的推荐设置的使用,以防止意外结果。
通过
所有 Discrete-Time Integrator 模块都采用了推荐的设置。
jc_0642: 整数舍入模式设置
标识当配置参数 '有符号整数除法舍入方式' 设置为 '未定义' 时模块参数 '整数舍入模式' 设置为 '最简' 的模块。
通过
配置参数 '有符号整数除法舍入方式' 未设置为 '未定义'。
jc_0659: 输入到 Merge 模块的信号线的使用限制
Conditional Subsystem 模块和 Merge 模块之间不能有任何模块。
通过
未发现 Merge 模块。
检查 Switch Case 模块和 If 模块中的 default/else case 是否设置为 'on'
通过
条件控制模块有效。
jc_0653: 反馈回路中的 Delay 模块布局
标识反馈回路中 Delay 模块的使用情形。
通过
反馈回路中的 Delay 模块未违反避免子系统之间形成代数环的规范。
标识模型中描述格式不一致的层。
警告
以下层没有模型描述:
标识模型中描述格式不一致的层。
警告
以下层的模型描述格式不一致:
检查模块的采样时间属性是否设置为 -1 (继承)。
警告
以下模块的采样时间未设置为 -1 (继承):
检查信号交叉
警告
以下信号与图中的其他信号发生交叉:
标识状态中 entry 动作(en)、during 动作(du)和 exit 动作(ex)条目之间缺少换行符。标识语句中分号(;)后缺少换行符。
通过
找到的所有状态入口语句都具有正确的格式。
标识没有默认转移或默认状态不是最顶部状态的所有状态分组。
通过
未发现 Stateflow 图中存在违反默认转移放置规范的 Stateflow 图和状态。
标识不适合在 Stateflow 模块中用于代码生成的 MATLAB 表达式。
通过
未发现使用不适合代码生成的 MATLAB 表达式的 Stateflow 对象。
jc_0732: 区分状态名称、数据名称和事件名称
标识给定图中具有相同名称的 Stateflow 状态、Stateflow 数据和 Stateflow 事件。
通过
没有找到 Stateflow 图。
jc_0752: 转移标签中的条件动作
在 Stateflow 转移中条件动作的括号前后开始新行。
通过
未发现违反条件动作新行要求的 Stateflow 转移。
检查模型参数 '未使用的数据、事件、消息和函数' 是否未设置为 '无'。
通过
模型配置参数的所有约束均已满足。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 通过 | 未使用的数据、事件、消息和函数 (SFUnusedDataAndEventsDiag) | warning | error, warning |
jc_0741: 状态图转移条件中所用数据的更新时机
状态转移条件中使用的变量不能通过 "during" 状态动作类型执行更新。
通过
未发现违反状态转移条件中所用变量更新规范的 Stateflow 状态。
检查用于标识状态转移中意外回溯的配置参数的设置。
通过
模型配置参数的所有约束均已满足。
| 状态 | 参数 | 当前值 | 推荐值 |
|---|---|---|---|
| 通过 | 意外回溯 (SFUnexpectedBacktrackingDiag) | error | error |
标识具有继承的复/实性、数据类型或大小属性的输入、输出或参数的 MATLAB Function。
警告
以下 MATLAB Function 包含具有继承的复/实性、数据类型或大小属性的接口:
检查 MATLAB 代码中的全局变量
_________________________________________________________________________________________
检查在 MATLAB Function 模块中使用的 MATLAB 代码中是否存在全局变量
通过
未发现全局变量
_________________________________________________________________________________________
检查 Stateflow 图中定义的 MATLAB 函数中是否存在全局变量
通过
未发现 Stateflow 图中定义的 MATLAB 函数
_________________________________________________________________________________________
检查调用的 MATLAB 函数中是否存在全局变量
通过
未发现外部 MATLAB 函数
_________________________________________________________________________________________